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

Diff of /metaprl/theories/mc/TODO

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

revision 3575 by emre, Fri Apr 5 09:33:57 2002 UTC revision 3576 by emre, Fri Apr 12 05:37:53 2002 UTC
# Line 33  Line 33 
33     representation for entire programs that is "convinient".     representation for entire programs that is "convinient".
34  -  division: I'm not completely convinced I've expressed this in a  -  division: I'm not completely convinced I've expressed this in a
35     "safe and correct" manner.     "safe and correct" manner.
36    -  Modify conscripts to get MC and MetaPRL compiling together...
37    -  Clean up all the MetaPRL conscripts...
38    
39  Notes to myself:  Notes to myself:
40  --------------------------------------------------------------------------  --------------------------------------------------------------------------

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

  ViewVC Help
Powered by ViewVC 1.1.26