Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-05-17 05:58:04 -0700 (Tue, 17 May 2005)
Revision: 7286
Log message:
TeX fixes.
| Changes | Path |
| +1 -1 | metaprl/OMakefile |
| +1 -0 | metaprl/doc/latex/theories/OMakefile |
| +1 -1 | metaprl/support/display/summary.ml |