source: Deliverables

Name Size Rev Age Author Last Change
../
addenda 1687   6 years tranquil corrected title
D1.1 3372   5 years piccolo Added new implementation of labelling approach based on LTS and …
D1.2 3240   5 years stark Remove Microsoft Office droppings
D1.3 3299   5 years sacerdot
D1.4 3247   5 years stark UEDIN changes to D1.3 and D1.4
D2.1 1982   6 years amadio add 2.1 Survey
D2.2 2872   5 years tassi Fix list of distributed files so that the debian package can be built
D3.1 694   7 years campbell Start moving Clight into common directory.
D3.2 1346   7 years campbell Minor corrections and a paragraph of context in the abstract to …
D3.3 1370   7 years campbell D3.3: Added a subsection on the SmallstepExec?.ma definitions, plus a …
D3.4 3249   5 years stark UEDIN D3.4, D6.4-6.5
D4.1 2558   6 years amadio r
D4.2-4.3 1998   6 years sacerdot Version number bumped.
D4.4 3248   5 years sacerdot Typos fixed.
D5.1 3250   5 years sacerdot
D5.1-5.3 2558   6 years amadio r
D5.2 3233   5 years tranquil passed spell checker, added description of the cerco wrapper, minor …
D5.3 3303   5 years amadio r
D6.1 18   8 years sacerdot logo moved
D6.2 2031   6 years stark Mention FMICS 2012 paper
D6.3 3210   5 years sacerdot Final version.
D6.4-6.5 3249   5 years stark UEDIN D3.4, D6.4-6.5
D6.6 3246   5 years sacerdot Instructions on how to make the LiveCD.
Dissemination 3302   5 years mckinna removed local verison for JHM's machine wp6.tex definitive
style 19   8 years sacerdot
LIN.ma 0 bytes 477   7 years mulligan Added file for LIN.
Note: See TracBrowser for help on using the repository browser.