#
ef418665 |
|
20-Jul-2005 |
Peter Homeier <palantir@trustworthytools.com> |
---------------------------------------------------------------------- Committing in a fixed version of the description.tex and other files for the unwind library, which had become damaged and did not make. Also fixed the Makefile for the pair library. Modified Files: hol98/src/pair/Manual/Makefile hol98/src/unwind/Manual/description.tex hol98/src/unwind/Manual/entries.tex hol98/src/unwind/Manual/index.tex hol98/src/unwind/Manual/unwind.tex hol98/src/word/Manual/index.tex ----------------------------------------------------------------------
|