Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-01-12 10:46:16 -0800 (Fri, 12 Jan 2007)
Revision: 9942
Log message:

      Bug 574 was apparently fixed, so now we can use the "find" function in the
      "realclean" rule.
      

Changes  Path
+1 -4 metaprl/OMakefile_common

Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-01-15 14:24:49 -0800 (Mon, 15 Jan 2007)
Revision: 9955
Log message:

      (Bug 629) Use OCAML_CLIBS instead of LIBS, where appropriate.
      

Changes  Path
+1 -1 metaprl/proxyedit/OMakefile
+1 -1 metaprl/tactics/ensemble/OMakefile