Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-01-05 13:16:41 -0800 (Thu, 05 Jan 2006)
Revision: 8401
Log message:

      Include the SVN revision number (when available) in the MetaPRL version string.
      

Changes  Path
+1 -1 metaprl/OMakefile
Properties metaprl/editor/ml
+21 -3 metaprl/editor/ml/OMakefile
+11 -1 metaprl/editor/ml/make_mp_version.ml
+1 -1 metaprl/util/check-status.sh
+1 -1 metaprl/util/do-check-all.sh