source: src/Cminor @ 1611

Name Size Rev Age Author Last Change
../
test 1226   10 years campbell Adjust pretty printers for change in program records, try a test of each.
cminorMatitaPrinter.ml 12.3 KB 1226   10 years campbell Adjust pretty printers for change in program records, try a test of each.
initialisation.ma 4.4 KB 1610   10 years sacerdot Ported to new lib.
semantics.ma 16.9 KB 1605   10 years sacerdot Porting to last standard library of Matita.
syntax.ma 5.5 KB 1605   10 years sacerdot Porting to last standard library of Matita.
toRTLabs.ma 30.7 KB 1611   10 years sacerdot All of Cminor now compiles with the latest lib of Matita.
Note: See TracBrowser for help on using the repository browser.