source: Deliverables @ 3129

Name Size Rev Age Author Last Change
../
D6.1 18   11 years sacerdot logo moved
style 19   11 years sacerdot
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 …
addenda 1687   10 years tranquil corrected title
D1.2 1867   10 years mulligan Large changes following comments by IS, JMc and CSC
D1.1 1868   10 years Ian Stark Put beamer code in the template to remove fungus
D2.1 1982   9 years amadio add 2.1 Survey
D4.2-4.3 1998   9 years sacerdot Version number bumped.
D6.2 2031   9 years Ian Stark Mention FMICS 2012 paper
D4.1 2558   9 years amadio r
D5.1-5.3 2558   9 years amadio r
D2.2 2872   9 years tassi Fix list of distributed files so that the debian package can be built
Dissemination 2945   9 years campbell Minor tweak.
D5.3 3084   9 years amadio
D5.1 3107   9 years regisgia * External tools to compile the plugin.
D5.2 3109   9 years sacerdot New version.
D1.4 3121   9 years sacerdot
D6.3 3126   9 years sacerdot Splitted into empty report + "stand alone" paper. The paper needs to …
D4.4 3127   9 years piccolo report on general proof
D3.4 3129   9 years campbell Right version of the diagram.
LIN.ma 0 bytes 477   11 years mulligan Added file for LIN.
Note: See TracBrowser for help on using the repository browser.