source: Deliverables @ 3228

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 1867   9 years mulligan Large changes following comments by IS, JMc and CSC
D1.3 3204   8 years sacerdot New publication and reindentation.
D1.4 3206   8 years sacerdot New publication.
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 3228   8 years campbell Add a more formal note to the abstract in 3.4.
D4.1 2558   9 years amadio r
D4.2-4.3 1998   9 years sacerdot Version number bumped.
D4.4 3222   8 years tranquil added pages to included papers. final version.
D5.1 3221   8 years sacerdot Added cerco-executable to install.
D5.1-5.3 2558   9 years amadio r
D5.2 3109   8 years sacerdot New version.
D5.3 3084   8 years amadio
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 3225   8 years mckinna More spelling, more grammar, more phrasing
Dissemination 2945   8 years campbell Minor tweak.
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.