/[mojave]/metaprl/theories/mc/Conscript
ViewVC logotype

Diff of /metaprl/theories/mc/Conscript

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

revision 3575 by emre, Fri Apr 5 09:33:57 2002 UTC revision 3576 by emre, Fri Apr 12 05:37:53 2002 UTC
# Line 8  Line 8 
8  #  #
9  $env = $env->clone(  $env = $env->clone(
10     INCPATH  => [@{$env->{INCPATH}},     INCPATH  => [@{$env->{INCPATH}},
11                  "#theories/tactic",                  "$env->{MP}/theories/tactic",
12                  "#theories/ocaml",                  "$env->{MP}/theories/ocaml",
13                  "#theories/base",                  "$env->{MP}/theories/base",
14                  "#theories/itt"]                  "$env->{MP}/theories/itt"]
15  );  );
16    
17  #  #

Legend:
Removed from v.3575  
changed lines
  Added in v.3576

  ViewVC Help
Powered by ViewVC 1.1.26