Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-10-10 19:28:11 -0700 (Fri, 10 Oct 2003)
Revision: 4965
Log message:

      Added the editor/ml/make_mp_version.ml program to *generate* the mp_version.ml
      file.  This works, and it may give us extra flexibility in printing the version
      string.  However, other solutions that work on win32 and Unix are welcome.
      
      WARNING WARNING WARNING: the Weak module in weak_memo.ml is now enabled.
      This hides the weak memo bug, so if you are working on it, be sure to
      change the module name to something else.  However, let's leave it like
      this in the meantime.  It makes running MetaPRL easier, especially on
      win32.
      

Changes	Path
+16 -7	metaprl/OMakefile
+12 -13	metaprl/editor/ml/OMakefile
Added	metaprl/editor/ml/make_mp_version.ml
Properties	metaprl/editor/ml/make_mp_version.ml
Added	metaprl/editor/ml/make_mp_version.mli
Properties	metaprl/editor/ml/make_mp_version.mli
+1 -1	metaprl/editor/ml/mp_version.ml
Added	metaprl/editor/ml/mpkonsole
Properties	metaprl/editor/ml/mpkonsole
Added	metaprl/editor/ml/mpkonsole-large
Properties	metaprl/editor/ml/mpkonsole-large
+1 -1	metaprl/mllib/weak_memo.ml
Properties	metaprl/refiner/refsig
Properties	metaprl/util