source: Deliverables @ 3279

Name Size Rev Age Author Last Change
../
addenda 1687   9 years tranquil corrected title
D1.1 1868   9 years Ian Stark Put beamer code in the template to remove fungus
D1.2 3240   8 years Ian Stark Remove Microsoft Office droppings
D1.3 3268   8 years sacerdot Presentation for WP4 by Claudio. Maybe to be moved into dissemination, …
D1.4 3247   8 years Ian Stark UEDIN changes to D1.3 and D1.4
D2.1 1982   9 years amadio add 2.1 Survey
D2.2 2872   8 years tassi Fix list of distributed files so that the debian package can be built
D3.1 694   10 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 …
D3.4 3249   8 years Ian Stark UEDIN D3.4, D6.4-6.5
D4.1 2558   9 years amadio r
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
D5.1-5.3 2558   9 years amadio r
D5.2 3233   8 years tranquil passed spell checker, added description of the cerco wrapper, minor …
D5.3 3084   8 years amadio
D6.1 18   11 years sacerdot logo moved
D6.2 2031   9 years Ian Stark Mention FMICS 2012 paper
D6.3 3210   8 years sacerdot Final version.
D6.4-6.5 3249   8 years Ian Stark UEDIN D3.4, D6.4-6.5
D6.6 3246   8 years sacerdot Instructions on how to make the LiveCD.
Dissemination 3279   8 years Ian Stark Renaming and moving
style 19   11 years sacerdot
LIN.ma 0 bytes 477   10 years mulligan Added file for LIN.
Note: See TracBrowser for help on using the repository browser.