source: src/CHANGES

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @750   10 years campbell Track some of the changes to the prototype in RTLabs. Just one …
(edit) @739   10 years campbell Note on identifiers in CHANGES.
(edit) @730   10 years campbell A few deviations from the prototype / CompCert? that I can think of offhand.
(edit) @723   10 years mulligan Added dependent type internalising the invariant that LIN function …
(add) @721   10 years mulligan Added diary of changes to project files.
Note: See TracRevisionLog for help on using the revision log.