Changes by: Vladimir N. Krupski (krupski at lpcs.math.msu.su)
Date: 2000-12-23 12:38:23 -0800 (Sat, 23 Dec 2000)
Revision: 3099
Log message:

      The reference to editor/ml/QUICKSTART is added. It is a short summary for
      the beginners -- explains how to use the proof-editor.
      

Changes	Path
+2 -0	metaprl/README