source:
Deliverables
@
2583
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| addenda | 1687 | 8 years | corrected title | ||
| D1.1 | 1868 | 8 years | Put beamer code in the template to remove fungus | ||
| D1.2 | 1867 | 8 years | Large changes following comments by IS, JMc and CSC | ||
| D2.1 | 1982 | 8 years | add 2.1 Survey | ||
| D2.2 | 2431 | 7 years | Fix in matita-out branch too. | ||
| D3.1 | 694 | 9 years | Start moving Clight into common directory. | ||
| D3.2 | 1346 | 8 years | Minor corrections and a paragraph of context in the abstract to … | ||
| D3.3 | 1370 | 8 years | D3.3: Added a subsection on the SmallstepExec?.ma definitions, plus a … | ||
| D4.1 | 2558 | 7 years | r | ||
| D4.2-4.3 | 1998 | 8 years | Version number bumped. | ||
| D5.1 | 1981 | 8 years | update 5.1 | ||
| D5.1-5.3 | 2558 | 7 years | r | ||
| D6.1 | 18 | 9 years | logo moved | ||
| D6.2 | 2031 | 8 years | Mention FMICS 2012 paper | ||
| Dissemination | 2583 | 7 years | Structured traces talk with most of the content; not quite final. | ||
| style | 19 | 9 years | … | ||
| LIN.ma | 0 bytes | 477 | 9 years | Added file for LIN. | |
Note: See TracBrowser
for help on using the repository browser.
