Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2006-06-20 17:24:42 -0700 (Tue, 20 Jun 2006)
Revision: 9357
Log message:

      Made an error message more useful

Changes  Path
+1 -1 metaprl/support/shell/proof_edit.ml