Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-01-12 22:39:21 -0800 (Wed, 12 Jan 2005)
Revision: 6396
Log message:

      - The term match table now supports sequent pattenrs that have a single
        context in the _middle_ of the hypothesis list (it used to be the case that
        it only supported a single context that is either at the end of the list or
        at the beginning, which caused confusing error messages - see bug 380).
      
      - Fixed the "omake check_status" rules.
      

Changes	Path
+1 -1	metaprl/OMakefile
+50 -37	metaprl/refiner/reflib/term_match_table.ml
+2 -0	metaprl/theories/itt/itt_test.ml
+1 -1	metaprl/util/check-status
+6 -4	metaprl/util/check-status.sh