Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-10-12 19:19:13 -0700 (Mon, 12 Oct 1998)
Revision: 2498
Log message:

      - Nl_debug -> Mp_debug
      - remove generated file theories/tptp/tptp_lex.ml on "make clean"
      

Changes  Path
+1 -2 metaprl/mk/config
Deleted metaprl/script
+1 -1 metaprl/theories/tptp/Makefile
+1 -1 metaprl/theories/tptp/tptp_lex.mll
+1 -1 metaprl/util/ocamldep.mll