source: src @ 1228

Name Size Rev Age Author Last Change
../
RTL 1149   10 years mulligan changes to get everything type checking again after changing names of …
ASM 1207   10 years campbell Second part of fixing temporaries in Clight to Cminor stage.
LIN 1224   10 years sacerdot Type of programs in common/AST made more dependent. In particular, the …
LTL 1224   10 years sacerdot Type of programs in common/AST made more dependent. In particular, the …
common 1225   10 years campbell Missing ; in proof
Clight 1226   10 years campbell Adjust pretty printers for change in program records, try a test of each.
Cminor 1226   10 years campbell Adjust pretty printers for change in program records, try a test of each.
RTLabs 1226   10 years campbell Adjust pretty printers for change in program records, try a test of each.
utilities 1227   10 years mulligan changes
ERTL 1228   10 years mulligan some more changes
joint 1228   10 years mulligan some more changes
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.