History log of /seL4-l4v-master/HOL4/help/Docfiles/DB.theorems.doc
Revision Date Author Comments
# 8f6d7784 16-Nov-2015 Michael Norrish <Michael.Norrish@nicta.com.au>

Delete trailing whitespace in help/Docfiles


# a4c199c6 13-Dec-2001 Michael Norrish <Michael.Norrish@nicta.com.au>

Huge number of check-ins, implementing change to .doc file syntax.
Now the rule for text within braces is that it appears as given, but
that braces must balance. If you want an unbalanced brace, you can use
\lbrace or \rbrace. No existing .doc file uses unbalanced braces.
Also, there is now no need to use \noindent. In fact, doing so
will get you a complaint from the parser. Similarly, use of \ or
{} characters outside of verbatim text blocks will cause griping.
All of the new files have been generated by a parse-then-print process
from the old files, and it's possible there are errors. If you ever
have a spare moment, casting your eye over a random selection of these
might help to find errors.


# f4824d46 08-Dec-2001 Konrad Slind <konrad.slind@gmail.com>

Just spent an hour trying to check in these changes. CVS is really
the pits ... or is it me?

Anyway, there's some updates to buggy docs and some new stuff too.


# 9b49e9da 06-Dec-2001 Michael Norrish <Michael.Norrish@nicta.com.au>

Many fixups, most to do with braces not being doubled properly in a slew
of .doc files. Also, remember to provide an identifier after the
initial \DOC.


# 364a4d18 05-Dec-2001 Konrad Slind <konrad.slind@gmail.com>

New docs, especially for the DB structure. Also some editing
of previously-written stuff.