source: src @ 1612

Name Size Rev Age Author Last Change
../
ASM 1609   10 years boender - added alias to ASM/BitVectorTrie - removed double include from …
Clight 1612   10 years sacerdot All library ported to new Matita lib (finally).
Cminor 1611   10 years sacerdot All of Cminor now compiles with the latest lib of Matita.
common 1609   10 years boender - added alias to ASM/BitVectorTrie - removed double include from …
ERTL 1601   10 years sacerdot Files ported to new version of the standard library.
joint 1601   10 years sacerdot Files ported to new version of the standard library.
LIN 1601   10 years sacerdot Files ported to new version of the standard library.
LTL 1515   10 years campbell Add type of maps on positive binary numbers, and use them for …
RTL 1601   10 years sacerdot Files ported to new version of the standard library.
RTLabs 1612   10 years sacerdot All library ported to new Matita lib (finally).
utilities 1600   10 years sacerdot utilities and ASM ported to the new standard library
acc-matita-printers.patch 7.3 KB 1158   10 years campbell Record patch needed to use matita pretty printers with acc.
CHANGES 3.4 KB 1388   10 years sacerdot fetch_result implemented for ERTL. This required a different …
root 26 bytes 703   10 years sacerdot lib is now the default standard library (after commit 11216 in …
TODO 606 bytes 1457   10 years sacerdot Bug fixed: when calling an internal function, the pc block is now set …
Note: See TracBrowser for help on using the repository browser.