source: src @ 1350

Name Size Rev Age Author Last Change
../
utilities 1350   10 years sacerdot Porting to latest destruct tactic. Note: the tactics has a few …
RTLabs 1343   10 years mulligan fixed some bugs in the translation
RTL 1348   10 years sacerdot
LTL 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 …
joint 1329   10 years sacerdot 1. Definition of addresses moved to BEMem 2. Basic functions on …
ERTL 1329   10 years sacerdot 1. Definition of addresses moved to BEMem 2. Basic functions on …
common 1350   10 years sacerdot Porting to latest destruct tactic. Note: the tactics has a few …
Cminor 1316   10 years campbell Merge in id-lookup-branch to trunk.
Clight 1350   10 years sacerdot Porting to latest destruct tactic. Note: the tactics has a few …
ASM 1335   10 years sacerdot Ported to new Matita stdlib.
root 26 bytes 703   10 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.