Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-09-19 15:18:30 -0700 (Tue, 19 Sep 2000)
Revision: 3066
Log message:
- Ocamldep now treats "derive" in the same way as "include" and "open"
(instead of just ignoring it) which recovered some missing dependencies
in the FOL theory.
- Better TeX dependencies, including "make tex" now noticing when
a theory changes.
- Section hack - now Index and Bibliography are created as normal section
(without two separate "Index" headings as it used to be).