Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-03-30 16:44:25 -0800 (Sun, 30 Mar 2003)
Revision: 4354
Log message:
- New syntax for the documentation! New syntax is
doc <:doc< ... >>
(and "doc" is a keyword!)
- Some files had documentation in .mli (there were especially many of those
in theories/experimental/compile). In most cases I just killed it...