Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /sml/trunk/src/cm/TODO
ViewVC logotype

View of /sml/trunk/src/cm/TODO

Parent Directory Parent Directory | Revision Log Revision Log

Revision 651 - (download) (annotate)
Thu Jun 1 18:34:03 2000 UTC (20 years, 5 months ago) by monnier
File size: 332 byte(s)
bring revisions from the vendor branch to the trunk
- Try to generalize CM by abstracting from programming language (and compiler),
  so it can work with Twelf, TILT, or things like HOL
- Generic notification architecture (ErrorMsg module, Say module, ...)
- handling of non-generalizability should move to later moment in time
- lazy environment stubs
- environment canonicalization

ViewVC Help
Powered by ViewVC 1.0.0