Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-07-28 06:41:16 -0700 (Sat, 28 Jul 2001)
Revision: 3351
Log message:

      Updated the "Simplified Syntax" section of User Guide.
      

Changes	Path
+15 -15	metaprl/doc/htmlman/user-guide/mp-terms.html
+1 -1	metaprl/editor/ml/x.ml