Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-04-07 11:32:07 -0700 (Mon, 07 Apr 2003)
Revision: 4395
Log message:

      - Better (and more insane, of course) grammar for distinquishing between hyp
      bindings and binding-free hyps.
      - xterm scripts will now explicitly use +bdc (display bold as color).
      

Changes	Path
+1 -1	metaprl/editor/ml/mpxterm
+1 -1	metaprl/editor/ml/mpxterm-large
+1 -1	metaprl/editor/ml/tests/pigeon.ml
+20 -20	metaprl/editor/ml/tests/prop-pigeon.ml
+1 -1	metaprl/editor/ml/tests/seq_addrs_test.ml
+1 -1	metaprl/editor/ml/tests/test.ml
+12 -6	metaprl/filter/base/term_grammar.ml
+2 -2	metaprl/theories/itt/itt_esquash.ml
+1 -1	metaprl/theories/itt/itt_quotient.mli
+4 -4	metaprl/theories/itt/itt_rfun.ml
+1 -1	metaprl/theories/itt/itt_set.ml
+1 -1	metaprl/theories/itt/itt_set.mli
+4 -4	metaprl/theories/itt/itt_squash.ml
+1 -1	metaprl/theories/itt/itt_squash.mli
+1 -1	metaprl/theories/itt/itt_unit.ml
+1 -1	metaprl/theories/itt/itt_unit.mli