Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-01-12 16:50:30 -0800 (Wed, 12 Jan 2005)
Revision: 6390
Log message:

      Minor "style" changes to a few of the "manual" intro resource enties.
      

Changes	Path
+2 -0	metaprl/support/shell/shell_command.ml
+1 -0	metaprl/support/shell/shell_command.mli
+1 -1	metaprl/theories/itt/itt_equal.ml
+1 -3	metaprl/theories/itt/itt_fun.ml
+1 -4	metaprl/theories/itt/itt_group.ml
+2 -3	metaprl/theories/itt/itt_quotient.ml
+1 -1	metaprl/util/status-all.sh