History log of /seL4-l4v-master/HOL4/src/unwind/Manual/description.tex
Revision Date Author Comments
# a30701a7 20-Oct-2011 Michael Norrish <Michael.Norrish@nicta.com.au>

Remove trailing white-space in a bunch of .tex files.

These are all in src/ and are probably both out-of-date and candidates for removal.


# 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
----------------------------------------------------------------------


# 58841e67 29-Apr-1999 Michael Norrish <Michael.Norrish@nicta.com.au>

Initial revision