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

Delete trailing whitespace in help/Docfiles


# 3825a653 10-Aug-2010 Anthony Fox <anthony.fox@cl.cam.ac.uk>

Purge on broken links within the (HTML) documentation. This mostly involves
deleting SEEALSO entries (where documentation doesn't exist) but also fixing a
few links.

Also fixed the anchor links in TheoryIndex.html and idIndex.html. In both
cases there aren't any entries starting with the letter "Y".


# 028504db 14-Oct-2008 Konrad Slind <konrad.slind@gmail.com>

Docs for the assocs were wrong. Also
Lib.find doesn't exist.


# 34386276 14-Dec-2001 Konrad Slind <konrad.slind@gmail.com>

Modifications and some new stuff.


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


# 9ea1952d 03-Dec-2001 Konrad Slind <konrad.slind@gmail.com>

Fixes to existing docs.


# 70083de2 30-Nov-2001 Konrad Slind <konrad.slind@gmail.com>

Finished documenting the Lib structure.


# ce793cee 23-Nov-2001 Konrad Slind <konrad.slind@gmail.com>

New versions of docfiles.