Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-04-28 12:51:58 -0700 (Sun, 28 Apr 2002)
Revision: 3591
Log message:
- Added an option to be have "THEORIES=all" in mk/config
(instead of THEORIES="long list of theories").
I will change all my nightly scripts to use THEORIES=all.
- Added mc to the default list of TEXTHEORIES. Added a file all-bodies.tex
that would automatically contain \inputs corresponding to TEXTHEORIES.
(Before this change we had to update all-theories.tex by hands whenever TEXTHEORIES
was changed).
- Minor fixes in some display forms.
- Removed theories/caml that never had anything useful.
- Removed a few files from theories/ocaml_doc that seemed to be there by accident
(Jason, can you confirm?).