Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-05-04 20:14:55 -0700 (Tue, 04 May 2004)
Revision: 5755
Log message:

      o Added term "handles" in browser mode.  These allow more precise
        term selections.
      o "src" mode is parsable in most cases, at least in MMC.
      

Changes  Path
+1 -1 metaprl/filter/base/filter_exn.ml
+14 -14 metaprl/filter/base/filter_summary.ml
+2 -1 metaprl/filter/filter/filter_prog.ml
+95 -87 metaprl/refiner/reflib/dform.ml
+10 -3 metaprl/refiner/reflib/dform.mli
+34 -23 metaprl/support/display/base_dform.ml
+1 -0 metaprl/support/shell/Files
+12 -11 metaprl/support/shell/browser_resource.ml
+29 -11 metaprl/support/shell/browser_state.ml
+6 -0 metaprl/support/shell/browser_state.mli
+1 -1 metaprl/support/shell/java_display_term.ml
+67 -106 metaprl/support/shell/shell.ml
+3 -3 metaprl/support/shell/shell.mli
+7 -8 metaprl/support/shell/shell_browser.ml
+40 -27 metaprl/support/shell/shell_package.ml
+8 -18 metaprl/support/shell/shell_sig.mlz
Added metaprl/support/shell/shell_util.ml
Properties metaprl/support/shell/shell_util.ml
Added metaprl/support/shell/shell_util.mli
Properties metaprl/support/shell/shell_util.mli