Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2000-09-23 18:32:28 -0700 (Sat, 23 Sep 2000)
Revision: 3075
Log message:
Added terminal resizing as Alexey suggested.
Note that emacs does not use terminals in a shell window...
| Changes | Path |
| +2 -1 | metaprl/clib/Makefile |
| Added | metaprl/clib/termsize.c |
| Properties | metaprl/clib/termsize.c |
| +3 -1 | metaprl/editor/ml/proof_edit.ml |
| +1 -0 | metaprl/editor/ml/shell_package.ml |
| +1 -0 | metaprl/editor/ml/shell_root.ml |
| +2 -1 | metaprl/mllib/Makefile |
| Added | metaprl/mllib/mp_term.ml |
| Properties | metaprl/mllib/mp_term.ml |
| Added | metaprl/mllib/mp_term.mli |
| Properties | metaprl/mllib/mp_term.mli |