source: src @ 1280

Name Size Rev Age Author Last Change
../
ASM 1279   10 years sacerdot Bug fixed in definition of ltb.
Clight 1276   10 years campbell Support for replacing operations with runtime support functions in …
Cminor 1238   10 years campbell Update Cminor and RTLabs to fit SmallstepExec? changes.
common 1268   10 years sacerdot 1) AST/Identifier.ma no longer used, utilities/IdentifierTools no …
ERTL 1280   10 years sacerdot Some progress in the porting of RTLAbstoRTL to the joint syntax: 1) …
joint 1280   10 years sacerdot Some progress in the porting of RTLAbstoRTL to the joint syntax: 1) …
LIN 1275   10 years sacerdot RTL ported to joint syntax, but: 1. bug discovered: opaccs should …
LTL 1280   10 years sacerdot Some progress in the porting of RTLAbstoRTL to the joint syntax: 1) …
RTL 1280   10 years sacerdot Some progress in the porting of RTLAbstoRTL to the joint syntax: 1) …
RTLabs 1280   10 years sacerdot Some progress in the porting of RTLAbstoRTL to the joint syntax: 1) …
utilities 1274   10 years mulligan starting removing axioms from adts and giving them proper implementations
root 26 bytes 703   11 years sacerdot lib is now the default standard library (after commit 11216 in …
CHANGES 3.1 KB 1198   10 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.