Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-11-18 22:32:50 -0800 (Thu, 18 Nov 2004)
Revision: 6281
Log message:

      Fixed "omake doc".
      

Changes	Path
+1 -0	metaprl/doc/latex/theories/OMakefile
+1 -0	metaprl/support/display/comment.ml
+0 -18	metaprl/theories/itt/itt_comment.ml
+0 -4	metaprl/theories/itt/itt_comment.mli
+4 -4	metaprl/theories/itt/itt_subset.ml