source: src @ 1197

Name Size Rev Age Author Last Change
../
ASM 1193   10 years mulligan work on colouring algorithm halted as it can be axiomatised. now …
Clight 1194   10 years campbell Remove old, commented out code.
Cminor 1157   10 years campbell Update pretty printers and examples.
common 1181   10 years mulligan changed smallstep exec in order to remove matita bug (superposition.ml …
ERTL 1192   10 years mulligan some files that were missing / laying dormant on my computer
joint 1186   10 years sacerdot Spurious code removed. joint_fullexec implemented up to …
LIN 1183   10 years mulligan removed parameterised label types in the three lowest level languages
LTL 1183   10 years mulligan removed parameterised label types in the three lowest level languages
RTL 1149   10 years mulligan changes to get everything type checking again after changing names of …
RTLabs 1157   10 years campbell Update pretty printers and examples.
utilities 1196   10 years mulligan some more changes, need some additional datastructures
acc-matita-printers.patch 7.3 KB 1158   10 years campbell Record patch needed to use matita pretty printers with acc.
CHANGES 2.9 KB 1143   10 years sacerdot Added one important observation (not implemented yet).
root 26 bytes 703   11 years sacerdot lib is now the default standard library (after commit 11216 in …
Note: See TracBrowser for help on using the repository browser.