source: Deliverables @ 489

Name Size Rev Age Author Last Change
../
style 19   9 years sacerdot
D6.2 48   9 years mulligan finished touching up report's English
D6.1 18   9 years sacerdot logo moved
D4.2-4.3 476   9 years mulligan Commiting directory for formalization of intermediate compiler languages.
D4.1 475   9 years mulligan Matita interpreter ported to latest version of matita (the one with …
D3.1 488   9 years campbell Some missing equality constants used by destruct.
D2.3 489   9 years campbell Pointer fixes for the temporary version of the compiler that can …
D2.2 486   9 years ayache Deliverable D2.2
D2.1 486   9 years ayache Deliverable D2.2
LIN.ma 0 bytes 477   9 years mulligan Added file for LIN.
Note: See TracBrowser for help on using the repository browser.