Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-07-20 01:01:41 -0700 (Thu, 20 Jul 2000)
Revision: 3028
Log message:

      Squah away attributes at unjustified nodes (still need to figure out why
      they reappear sometimes).
      
      Removed some "empty" .prla files (not all of them).
      
      Updated TODO after talking more to Jason (notice that TODO is now private and
      only accessable by people with valid MetaPRL CVS accounts).
      

Changes  Path
+2 -1 metaprl/BUGS
+1 -1 metaprl/doc/htmlman/user-guide/mp-axiom.html
+1 -1 metaprl/editor/ml/package_info.ml
+31 -70 metaprl/filter/base/filter_summary.ml
+161 -206 metaprl/filter/boot/proof_boot.ml
+23 -78 metaprl/filter/boot/tactic_boot.ml
+5 -2 metaprl/filter/boot/tactic_boot_sig.mlz
+1 -1 metaprl/filter/filter/filter_parse.ml
Deleted metaprl/theories/itt/itt_arith.prla
Deleted metaprl/theories/itt/itt_atom.prla
Deleted metaprl/theories/itt/itt_atom_bool.prla
Deleted metaprl/theories/itt/itt_ext_equal.prla
Deleted metaprl/theories/itt/itt_test.prla