source: src @ 1415

Name Size Rev Age Author Last Change
../
ASM 1415   10 years sacerdot 1. hwreg_store/retrieve no longer returns a res (but it is still …
Clight 1410   10 years campbell Remove a few old workarounds.
Cminor 1410   10 years campbell Remove a few old workarounds.
common 1410   10 years campbell Remove a few old workarounds.
ERTL 1415   10 years sacerdot 1. hwreg_store/retrieve no longer returns a res (but it is still …
joint 1415   10 years sacerdot 1. hwreg_store/retrieve no longer returns a res (but it is still …
LIN 1415   10 years sacerdot 1. hwreg_store/retrieve no longer returns a res (but it is still …
LTL 1383   10 years sacerdot Potential bug fixed and bug found: the way pointers and labels are put …
RTL 1415   10 years sacerdot 1. hwreg_store/retrieve no longer returns a res (but it is still …
RTLabs 1408   10 years sacerdot 1. Added joint/BEGlobalenvs that is a modification of …
utilities 1351   10 years campbell Tidy up some loose ends from the invariants branch merge.
root 26 bytes 703   10 years sacerdot lib is now the default standard library (after commit 11216 in …
CHANGES 3.4 KB 1388   10 years sacerdot fetch_result implemented for ERTL. This required a different …
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.