/[mojave]/metaprl/editor/ml/mpopt
ViewVC logotype

Diff of /metaprl/editor/ml/mpopt

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 2518 by jyh, Tue Oct 13 01:14:08 1998 UTC revision 2519 by nogin, Thu Nov 12 01:15:31 1998 UTC
# Line 8  Line 8 
8  #  #
9  # Start the program  # Start the program
10  #  #
11  exec ./nl.opt -I . -I ../../theories/tptp -I ../../theories/czf -I ../../theories/itt -I ../../theories/base -I ../../theories/ocaml -I ../../theories/tactic -I $CAMLP4LIB $*  exec ./mp.opt -I . -I ../../theories/tptp -I ../../theories/czf -I ../../theories/itt -I ../../theories/base -I ../../theories/ocaml -I ../../theories/tactic -I $CAMLP4LIB $*

Legend:
Removed from v.2518  
changed lines
  Added in v.2519

  ViewVC Help
Powered by ViewVC 1.1.26