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

Diff of /metaprl/theories/tactic/Conscript

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

revision 3575 by nogin, Sun Mar 10 23:29:54 2002 UTC revision 3576 by emre, Fri Apr 12 05:37:53 2002 UTC
# Line 14  Line 14 
14          'mptop',          'mptop',
15          'top_tacticals',          'top_tacticals',
16          'top_conversionals'],          'top_conversionals'],
17          "#filter/filter/prlc",          "$env->{MP}/filter/filter/prlc",
18          "#lib/camlp4o",          "$env->{MP}/lib/camlp4o",
19          "#lib/camlp4n",          "$env->{MP}/lib/camlp4n",
20          "#lib/prlcn",          "$env->{MP}/lib/prlcn",
21          "#lib/prlco";          "$env->{MP}/lib/prlco";
22    
23  OCamlSources $env  OCamlSources $env
24          'tactic_cache.ml',          'tactic_cache.ml',
# Line 33  Line 33 
33          'top_conversionals.ml';          'top_conversionals.ml';
34    
35  OCamlLibrary $env 'base',  OCamlLibrary $env 'base',
36          'tactic_cache',          'tactic_cache',
37          'perv',          'perv',
38          'nuprl_font',          'nuprl_font',
39          'base_dform',          'base_dform',

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

  ViewVC Help
Powered by ViewVC 1.1.26