source: Deliverables @ 3129

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 …
D3.4 3129   9 years campbell Right version of the diagram.
Dissemination 2945   9 years campbell Minor tweak.
D1.2 1867   10 years mulligan Large changes following comments by IS, JMc and CSC
D4.4 3127   9 years piccolo report on general proof
D5.1 3107   9 years regisgia * External tools to compile the plugin.
D1.4 3121   9 years sacerdot
D4.2-4.3 1998   9 years sacerdot Version number bumped.
D5.2 3109   9 years sacerdot New version.
D6.1 18   11 years sacerdot logo moved
D6.3 3126   9 years sacerdot Splitted into empty report + "stand alone" paper. The paper needs to …
style 19   11 years sacerdot
D1.1 1868   10 years Ian Stark Put beamer code in the template to remove fungus
D6.2 2031   9 years Ian Stark Mention FMICS 2012 paper
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
LIN.ma 0 bytes 477   11 years mulligan Added file for LIN.
Note: See TracBrowser for help on using the repository browser.