Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-12-09 22:59:54 -0800 (Thu, 09 Dec 2004)
Revision: 6350
Log message:

      1. I believed that with this commit and bug 361 fixed
      mldebug.dir and theories.dir will be generated correctly for win32.
      bat-files have new set-commands, they just have to be uncommented
      (and old one removed)
      2. I also replaced (again) hard-coded paths to SSL library under win32
      with variables that can be set in mk/config.local
      

Changes	Path
+18 -9	metaprl/OMakefile
+3 -1	metaprl/editor/ml/mpopt.bat
+8 -2	metaprl/editor/ml/mptop.bat
+2 -0	metaprl/mk/config.local.empty