source: src @ 1326

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