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