History log of /seL4-l4v-10.1.1/HOL4/src/unwind/Manual/references.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.
# 58841e67 29-Apr-1999 Michael Norrish <Michael.Norrish@nicta.com.au>

Initial revision