/[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 3562 by emre, Wed Apr 3 08:37:31 2002 UTC revision 3563 by emre, Fri Apr 5 01:16:49 2002 UTC
# Line 20  Line 20 
20  my @src_no_mc =  my @src_no_mc =
21     qw( term_op fir_base fir_ty fir_exp fir_eval deadcode );     qw( term_op fir_base fir_ty fir_exp fir_eval deadcode );
22  my @src_mc =  my @src_mc =
23     qw( term_op fir_base fir_ty fir_exp fir_eval deadcode );     qw( term_op fir_base fir_ty fir_exp fir_eval deadcode connect_base connect_ty connect_exp compile );
 #   qw( term_op fir_base fir_ty fir_exp fir_eval deadcode connect_base connect_ty connect_exp compile );  
24    
25  # TEMP: Will be included once the MC branches merge back...  # TEMP: Will be included once the MC branches merge back...
26  #       connect_base connect_ty connect_exp compile );  #       connect_base connect_ty connect_exp compile );

Legend:
Removed from v.3562  
changed lines
  Added in v.3563

  ViewVC Help
Powered by ViewVC 1.1.26