Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-10-03 19:33:43 -0700 (Mon, 03 Oct 2005)
Revision: 7827
Log message:

      (Bug 525) In "omake --version", when the default library directory is
      overridden by OMAKELIB environment variable or the Windows registry, print
      both the default location and the location that is actually being used.
      

Changes  Path
+13 -8 omake-branches/0.9.6.x/src/ir/omake_state.ml
+1 -0 omake-branches/0.9.6.x/src/ir/omake_state.mli
+2 -3 omake-branches/0.9.6.x/src/magic/omake_gen_magic.ml
+4 -1 omake-branches/0.9.6.x/src/main/omake_main.ml