History log of /seL4-l4v-master/HOL4/src/res_quan/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.


# a4e77f0b 16-Apr-2009 Anthony Fox <anthony.fox@cl.cam.ac.uk>

Some maintenance to ensure that the sub-manuals and reference manual build
properly (help/src -> help/src-sml). Dropped the references to src/n_bit
and src/word.

The res_quan manual doesn't seem to build on Macs. Some problem with it
failing to make the theories.tex file. (Still works on an old Linux
machine.)


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

Initial revision