Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-01-11 00:48:41 -0800 (Wed, 11 Jan 2006)
Revision: 8453
Log message:

      - Use the location information (that is now available thanks to Jason's rev
        8448 changes) in error messages generated by the annotation processors.
      
      - Figured out how to fix filter_main so that the locations generated by the
        MetaPRL parser contain the correct file name.
      

Changes  Path
+1 -23 metaprl/filter/base/filter_exn.ml
+1 -0 metaprl/filter/base/filter_util.ml
+2 -1 metaprl/filter/filter/filter_main.ml
+28 -0 metaprl/refiner/reflib/simple_print.ml
+5 -0 metaprl/refiner/reflib/simple_print.mli
+6 -3 metaprl/support/tactics/auto_tactic.ml
+1 -0 metaprl/support/tactics/basic_tactics.ml
+0 -7 metaprl/support/tactics/forward.ml
+2 -2 metaprl/tactics/proof/rewrite_boot.ml
+5 -5 metaprl/theories/itt/core/itt_int_arith.ml
+3 -2 metaprl/theories/itt/core/itt_sqsimple.ml
+5 -3 metaprl/theories/itt/core/itt_squash.ml
+6 -4 metaprl/theories/meta/extensions/meta_dtactic.ml