source: src @ 1363

Name Size Rev Age Author Last Change
../
ASM 1363   10 years boender - done stuff with create_label_trie
RTL 1359   10 years sacerdot 1. more work on the RTL semantics 2. changes to joint/semantics to …
LTL 1359   10 years sacerdot 1. more work on the RTL semantics 2. changes to joint/semantics to …
LIN 1359   10 years sacerdot 1. more work on the RTL semantics 2. changes to joint/semantics to …
joint 1359   10 years sacerdot 1. more work on the RTL semantics 2. changes to joint/semantics to …
ERTL 1359   10 years sacerdot 1. more work on the RTL semantics 2. changes to joint/semantics to …
RTLabs 1358   10 years mulligan got rtlabs to rtl compiling, foldi_strong needs examining
common 1355   10 years sacerdot monadic fold_lefti added
Cminor 1352   10 years sacerdot This commit is made necessary by the last Matita change. Inclusion is …
Clight 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.
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.
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.