Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-07 16:02:18 -0700 (Mon, 07 Jul 2003)
Revision: 4710
Log message:

      <:con< ... >> syntax:
      - for numeric parameters, we can now use syntax $int:expr$, where expr has type int,
      instead of having to convert int to num explicitly.
      

Changes	Path
+1 -0	metaprl-branches/abstract_vars/filter/base/filter_type.ml
+3 -1	metaprl-branches/abstract_vars/filter/filter/filter_parse.ml
+7 -5	metaprl-branches/abstract_vars/filter/filter/term_grammar.ml
+13 -11	metaprl-branches/abstract_vars/support/display/summary.ml
+6 -8	metaprl-branches/abstract_vars/support/display/summary.mli
+4 -4	metaprl-branches/abstract_vars/support/shell/proof_edit.ml
+10 -10	metaprl-branches/abstract_vars/support/shell/shell_package.ml