/[mojave]/metaprl/mk/make_config.sh
ViewVC logotype

Diff of /metaprl/mk/make_config.sh

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

revision 3590 by nogin, Sat Oct 6 01:40:01 2001 UTC revision 3591 by nogin, Sun Apr 28 19:51:58 2002 UTC
# Line 54  Line 54 
54  # Include itt if you want to use the Nuprl type theory,  # Include itt if you want to use the Nuprl type theory,
55  # and add any additional theory directories after that.  # and add any additional theory directories after that.
56  #  #
57    # Alternatively, use THEORIES = all
58    #
59  THEORIES=$THEORIES  THEORIES=$THEORIES
60    
61  #  #

Legend:
Removed from v.3590  
changed lines
  Added in v.3591

  ViewVC Help
Powered by ViewVC 1.1.26