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