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

Diff of /metaprl/theories/mc/Makefile

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

revision 3564 by emre, Sun Mar 24 22:35:29 2002 UTC revision 3565 by emre, Fri Apr 5 09:33:57 2002 UTC
# Line 17  Line 17 
17     mp_mc_fir_exp \     mp_mc_fir_exp \
18     mp_mc_fir_eval \     mp_mc_fir_eval \
19     mp_mc_deadcode \     mp_mc_deadcode \
20       mp_mc_const_elim \
21     mp_mc_theory     mp_mc_theory
22    
23  # Name of main libraries  # Name of main libraries

Legend:
Removed from v.3564  
changed lines
  Added in v.3565

  ViewVC Help
Powered by ViewVC 1.1.26