Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-02-06 20:45:56 -0800 (Sun, 06 Feb 2005)
Revision: 6612
Log message:
- I've added a "docon" term that is the opposite of the "docoff". One can now
write simply
doc docon
instead of having to do something like
doc <:doc< @doc{ } >>
- I've added "doc docoff"/"doc docon" in a few places in ITT to exclude ML
code from the theories.pdf file (I did this some of the theories that needed
it, but most likely not in all of them).