source: Deliverables @ 3267

Name Size Rev Age Author Last Change
../
D2.1 1982   9 years amadio add 2.1 Survey
D4.1 2558   9 years amadio r
D5.1-5.3 2558   9 years amadio r
D5.3 3084   9 years amadio
D3.1 694   11 years campbell Start moving Clight into common directory.
D3.2 1346   10 years campbell Minor corrections and a paragraph of context in the abstract to …
D3.3 1370   10 years campbell D3.3: Added a subsection on the SmallstepExec?.ma definitions, plus a …
Dissemination 3267   8 years campbell Improve a few awkward parts of front-end slides.
D1.3 3258   8 years sacerdot
D4.2-4.3 1998   9 years sacerdot Version number bumped.
D4.4 3248   8 years sacerdot Typos fixed.
D5.1 3250   8 years sacerdot
D6.1 18   11 years sacerdot logo moved
D6.3 3210   8 years sacerdot Final version.
D6.6 3246   8 years sacerdot Instructions on how to make the LiveCD.
style 19   11 years sacerdot
D1.1 1868   10 years Ian Stark Put beamer code in the template to remove fungus
D1.2 3240   8 years Ian Stark Remove Microsoft Office droppings
D1.4 3247   8 years Ian Stark UEDIN changes to D1.3 and D1.4
D3.4 3249   8 years Ian Stark UEDIN D3.4, D6.4-6.5
D6.2 2031   9 years Ian Stark Mention FMICS 2012 paper
D6.4-6.5 3249   8 years Ian Stark UEDIN D3.4, D6.4-6.5
D2.2 2872   9 years tassi Fix list of distributed files so that the debian package can be built
addenda 1687   10 years tranquil corrected title
D5.2 3233   8 years tranquil passed spell checker, added description of the cerco wrapper, minor …
LIN.ma 0 bytes 477   11 years mulligan Added file for LIN.
Note: See TracBrowser for help on using the repository browser.