source: etc

Revision Log Mode:


Copied or renamed
Diff Rev Age Author Log Message
(edit) @2485   8 years campbell Sketch of Clight/Cminor? callstate simulation
(edit) @2482   8 years campbell Note about front-end simulations
(edit) @2472   8 years campbell Misc clight->cminor notes.
(edit) @2454   8 years campbell More misc notes on clight->cminor.
(edit) @2434   8 years campbell Misc notes.
(add) @2394   9 years campbell I've kept the odd note on bits of CerCo? work I've been doing. James …
Note: See TracRevisionLog for help on using the revision log.