source: Deliverables @ 2434

Name Size Rev Age Author Last Change
../
addenda 1687   8 years tranquil corrected title
D1.1 1868   8 years Ian Stark Put beamer code in the template to remove fungus
D1.2 1867   8 years mulligan Large changes following comments by IS, JMc and CSC
D2.1 1982   8 years amadio add 2.1 Survey
D2.2 2431   7 years campbell Fix in matita-out branch too.
D3.1 694   9 years campbell Start moving Clight into common directory.
D3.2 1346   8 years campbell Minor corrections and a paragraph of context in the abstract to …
D3.3 1370   8 years campbell D3.3: Added a subsection on the SmallstepExec?.ma definitions, plus a …
D4.1 1708   8 years mulligan Change to the execution of the MOVC instruction
D4.2-4.3 1998   7 years sacerdot Version number bumped.
D5.1 1981   8 years amadio update 5.1
D5.1-5.3 1704   8 years amadio typo
D6.1 18   9 years sacerdot logo moved
D6.2 2031   7 years Ian Stark Mention FMICS 2012 paper
style 19   9 years sacerdot
LIN.ma 0 bytes 477   9 years mulligan Added file for LIN.
Note: See TracBrowser for help on using the repository browser.