Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-07-16 13:44:08 -0700 (Mon, 16 Jul 2007)
Revision: 11281
Log message:

      Made the locking of the .omc files even more finegrained than before.
     (I was having a locking problem, which turned out to be caused by
     misinteractions of the NLM with the firewall, but this change is probably a
     good idea anyway).

Changes  Path
+51 -47 omake-branches/0.9.8.x/src/env/omake_env.ml
+11 -20 omake-branches/0.9.8.x/src/env/omake_env.mli
+18 -30 omake-branches/0.9.8.x/src/eval/omake_eval.ml
+1 -1 omake-branches/0.9.8.x/src/ir/omake_state.ml