/[mojave]/metaprl/refiner/reflib/Conscript
ViewVC logotype

Diff of /metaprl/refiner/reflib/Conscript

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

revision 3575 by jyh, Mon Nov 19 15:09:10 2001 UTC revision 3576 by emre, Fri Apr 12 05:37:53 2002 UTC
# Line 1  Line 1 
1  Import qw( env );  Import qw( env );
2    
3  $env = $env->clone(  $env = $env->clone(
4      INCPATH     => [@{$env->{INCPATH}}, "../refbase", "../refsig", "../term_gen", "../refiner", "$env->{MC}/lib/naml/stdlib"]      INCPATH => [@{$env->{INCPATH}}, "../refbase", "../refsig", "../term_gen", "../refiner"]
5  );  );
6    
7  OCamlSources $env  OCamlSources $env

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

  ViewVC Help
Powered by ViewVC 1.1.26