source: src @ 1326

Name Size Rev Age Author Last Change
../
utilities 1321   9 years sacerdot No longer/never implemented files removed.
RTLabs 1325   9 years mulligan finished implementing the translate constant function
RTL 1326   9 years sacerdot Code improved (now it uses the high level functions from …
LTL 1324   9 years sacerdot The semantics of extended statements must also consider the label …
LIN 1324   9 years sacerdot The semantics of extended statements must also consider the label …
joint 1324   9 years sacerdot The semantics of extended statements must also consider the label …
ERTL 1324   9 years sacerdot The semantics of extended statements must also consider the label …
common 1316   9 years campbell Merge in id-lookup-branch to trunk.
Cminor 1316   9 years campbell Merge in id-lookup-branch to trunk.
Clight 1316   9 years campbell Merge in id-lookup-branch to trunk.
ASM 1323   9 years campbell Reduce number of notations for destructive let on pairs to one.
root 26 bytes 703   10 years sacerdot lib is now the default standard library (after commit 11216 in …
CHANGES 3.1 KB 1198   9 years campbell Clight cast removal (NB: quite different from the prototype).
acc-matita-printers.patch 7.3 KB 1158   10 years campbell Record patch needed to use matita pretty printers with acc.
Note: See TracBrowser for help on using the repository browser.