source: src @ 1352

Name Size Rev Age Author Last Change
../
ASM 1335   10 years sacerdot Ported to new Matita stdlib.
Clight 1352   10 years sacerdot This commit is made necessary by the last Matita change. Inclusion is …
Cminor 1352   10 years sacerdot This commit is made necessary by the last Matita change. Inclusion is …
common 1351   10 years campbell Tidy up some loose ends from the invariants branch merge.
ERTL 1352   10 years sacerdot This commit is made necessary by the last Matita change. Inclusion is …
joint 1352   10 years sacerdot This commit is made necessary by the last Matita change. Inclusion is …
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 …
RTL 1352   10 years sacerdot This commit is made necessary by the last Matita change. Inclusion is …
RTLabs 1352   10 years sacerdot This commit is made necessary by the last Matita change. Inclusion is …
utilities 1351   10 years campbell Tidy up some loose ends from the invariants branch merge.
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).
root 26 bytes 703   10 years sacerdot lib is now the default standard library (after commit 11216 in …
Note: See TracBrowser for help on using the repository browser.