source: Deliverables @ 1434

Name Size Rev Age Author Last Change
../
addenda 807   10 years mulligan small change
D1.1 701   11 years sacerdot New version.
D2.1 792   10 years amadio Deliverable D2.1 with addendum
D2.2 1433   10 years tranquil * added infrastructure to add same-language transformations along the …
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 …
D4.1 1205   10 years mulligan typographical changes
D4.2-4.3 1434   10 years mulligan chages to typesetting and some wording changes
D6.1 18   11 years sacerdot logo moved
D6.2 794   10 years Ian Stark Some content for addendum
style 19   11 years sacerdot
LIN.ma 0 bytes 477   11 years mulligan Added file for LIN.
Note: See TracBrowser for help on using the repository browser.