source:
Deliverables/Dissemination
@
3302
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| back-end | 3297 | 8 years | final version | ||
| final-review | 3302 | 8 years | removed local verison for JHM's machine wp6.tex definitive | ||
| front-end | 3285 | 8 years | Renaming and moving | ||
| proof-structured-traces | 2945 | 8 years | Minor tweak. | ||
| fetopen.png | 138.1 KB | 2558 | 8 years | r | |
| funcca-slide.pdf | 438.0 KB | 2586 | 8 years | r | |
| labelling-approach-slide.pdf | 480.1 KB | 2584 | 8 years | * Update slides. | |
| README | 3.3 KB | 2577 | 8 years | abstract of indexed labels talk | |
Note: See TracBrowser
for help on using the repository browser.
