Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2006-12-06 11:29:13 -0800 (Wed, 06 Dec 2006)
Revision: 9827
Log message:

      The terminal size module was moved to LibMojave

Changes  Path
+0 -1 metaprl/clib/OMakefile
Deleted metaprl/clib/termsize.c
+0 -1 metaprl/mllib/OMakefile
Deleted metaprl/mllib/mp_term.ml
Deleted metaprl/mllib/mp_term.mli
+1 -1 metaprl/support/shell/proof_edit.ml
+1 -1 metaprl/support/shell/shell_core.ml

Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2006-12-07 21:54:03 -0800 (Thu, 07 Dec 2006)
Revision: 9847
Log message:

      Fixed an ordering problem that was causing issues with OMake 0.9.8
      

Changes  Path
+3 -3 metaprl/mk/load_config
+9 -9 metaprl/support/OMakefile

Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2006-12-11 11:19:10 -0800 (Mon, 11 Dec 2006)
Revision: 9873
Log message:

      Require OMake 0.9.8
      

Changes  Path
+3 -14 metaprl/OMakefile_common
+0 -10 metaprl/mk/defaults