source: Deliverables @ 3353

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 3299   8 years sacerdot
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 3303   8 years amadio r
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 3302   8 years mckinna removed local verison for JHM's machine wp6.tex definitive
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.