source: Deliverables @ 3167

Name Size Rev Age Author Last Change
../
addenda 1687   7 years tranquil corrected title
D1.1 1868   7 years Ian Stark Put beamer code in the template to remove fungus
D1.2 1867   7 years mulligan Large changes following comments by IS, JMc and CSC
D1.3 3166   6 years sacerdot Questionnaire about publications filled in, DOIs added to every …
D1.4 3164   6 years sacerdot Executive report in place.
D2.1 1982   7 years amadio add 2.1 Survey
D2.2 2872   6 years tassi Fix list of distributed files so that the debian package can be built
D3.1 694   8 years campbell Start moving Clight into common directory.
D3.2 1346   8 years campbell Minor corrections and a paragraph of context in the abstract to …
D3.3 1370   8 years campbell D3.3: Added a subsection on the SmallstepExec?.ma definitions, plus a …
D3.4 3167   6 years campbell A little bit about structured traces.
D4.1 2558   7 years amadio r
D4.2-4.3 1998   7 years sacerdot Version number bumped.
D4.4 3143   6 years sacerdot More papers pulled into the report.
D5.1 3107   6 years regisgia * External tools to compile the plugin.
D5.1-5.3 2558   7 years amadio r
D5.2 3109   6 years sacerdot New version.
D5.3 3084   6 years amadio
D6.1 18   9 years sacerdot logo moved
D6.2 2031   7 years Ian Stark Mention FMICS 2012 paper
D6.3 3152   6 years amadio r
D6.4-6.5 3157   6 years mckinna Added tables with the workshop programmes indetail
Dissemination 2945   6 years campbell Minor tweak.
style 19   9 years sacerdot
LIN.ma 0 bytes 477   8 years mulligan Added file for LIN.
Note: See TracBrowser for help on using the repository browser.