Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2000-09-18 20:03:23 -0700 (Mon, 18 Sep 2000)
Revision: 3062
Log message:
Sorry, the problem with the last commit was just because of the
theories/base/base_theory.mlz, which used @begin[tex] instead
of @begin[doc]. Everything should compile now.
Once it compiles, try using make in the doc/latex/theories
directory. It should generate the file all-theories.pdf, which
is docs for all the modules, including tactics, rules, rewrites,
etc. There is an index that you can use to jump to the documentation
for any particular tactic, etc.