source: Deliverables @ 3221

Name Size Rev Age Author Last Change
../
style 19   11 years sacerdot
Dissemination 2945   9 years campbell Minor tweak.
D6.4-6.5 3199   8 years Ian Stark D6.4/D6.5 executive summary
D6.3 3210   8 years sacerdot Final version.
D6.2 2031   9 years Ian Stark Mention FMICS 2012 paper
D6.1 18   11 years sacerdot logo moved
D5.3 3084   8 years amadio
D5.2 3109   8 years sacerdot New version.
D5.1-5.3 2558   9 years amadio r
D5.1 3221   8 years sacerdot Added cerco-executable to install.
D4.4 3213   8 years tranquil summary for D4.4, and other modifications
D4.2-4.3 1998   9 years sacerdot Version number bumped.
D4.1 2558   9 years amadio r
D3.4 3218   8 years campbell Text about Cminor to RTLabs.
D3.3 1370   10 years campbell D3.3: Added a subsection on the SmallstepExec?.ma definitions, plus a …
D3.2 1346   10 years campbell Minor corrections and a paragraph of context in the abstract to …
D3.1 694   11 years campbell Start moving Clight into common directory.
D2.2 2872   9 years tassi Fix list of distributed files so that the debian package can be built
D2.1 1982   9 years amadio add 2.1 Survey
D1.4 3206   8 years sacerdot New publication.
D1.3 3204   8 years sacerdot New publication and reindentation.
D1.2 1867   10 years mulligan Large changes following comments by IS, JMc and CSC
D1.1 1868   10 years Ian Stark Put beamer code in the template to remove fungus
addenda 1687   10 years tranquil corrected title
LIN.ma 0 bytes 477   11 years mulligan Added file for LIN.
Note: See TracBrowser for help on using the repository browser.