History log of /seL4-l4v-master/HOL4/src/string/Manual/description.tex
Revision Date Author Comments
# dfcd3413 26-Aug-1999 Michael Norrish <Michael.Norrish@nicta.com.au>

Documentation now builds properly under LaTeX2e and also pulls in theorems
and entries from help sub-directory as it should.
# 58841e67 29-Apr-1999 Michael Norrish <Michael.Norrish@nicta.com.au>

Initial revision