Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-05-03 20:32:29 -0700 (Sat, 03 May 2003)
Revision: 4554
Log message:

      Documentation updates.
      

Changes	Path
+2 -2	metaprl/doc/latex/theories/all-theories.tex
+4 -4	metaprl/doc/latex/theories/base/print.ml
+8 -9	metaprl/refiner/reflib/dform.ml
+4 -4	metaprl/support/display/base_dform.ml
+5 -46	metaprl/support/display/comment.ml
+0 -1	metaprl/support/shell/mptop.ml
+8 -8	metaprl/support/tactics/dtactic.ml
+3 -7	metaprl/support/tactics/var.ml
+2 -2	metaprl/theories/base/base_theory.mlz
+3 -6	metaprl/theories/base/base_trivial.ml