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

Diff of /metaprl/refiner/refiner/Conscript

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

revision 3410 by nogin, Tue Sep 25 16:52:43 2001 UTC revision 3440 by nogin, Mon Nov 5 02:36:58 2001 UTC
# Line 6  Line 6 
6  );  );
7    
8  Command $env "refiner.ml", "#mk/config", qq(  Command $env "refiner.ml", "#mk/config", qq(
9          echo "module Refiner = Refiner_ds.Refiner" > %>          echo "module Refiner = Refiner_%TERMS.Refiner" > %>
10  );  );
11    
12  OCamlSources $env  OCamlSources $env

Legend:
Removed from v.3410  
changed lines
  Added in v.3440

  ViewVC Help
Powered by ViewVC 1.1.26