Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-10-11 22:49:04 -0700 (Sat, 11 Oct 2003)
Revision: 4977
Log message:
Adding support for document formatting.
For omake, the new style is to add a dcoumentation command in the
theory, for example, theories/base/OMakefile contains the following:
#
# Documentation
#
PRINT_THEORIES =\
base_theory\
top_tacticals\
top_conversionals\
var\
auto_tactic\
dtactic\
base_trivial\
base_rewrite\
summary\
comment\
mptop
TheoryDocument(base, $(PRINT_THEORIES))
I still need to get all-theories right, I'll work on it.