Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
View Latest Revision
source:
Deliverables
/
Dissemination
Revision Log Mode:
Stop on copy
Follow copies
Show only adds and deletes
View log starting at
and back to
Show at most
revisions per page.
Show full log messages
Legend:
Added
Modified
Copied or renamed
Diff
Rev
Age
Author
Log Message
(edit)
@3302
6 years
mckinna
removed local verison for JHM's machine wp6.tex definitive
(edit)
@3301
6 years
mckinna
updates: wp6.tex is definitive
(edit)
@3300
6 years
mckinna
updates
(edit)
@3297
6 years
tranquil
final version
(edit)
@3294
6 years
mckinna
draft final version: more to say than to put on slides etc.
(edit)
@3293
6 years
mckinna
more: desitination data (partial)
(edit)
@3292
6 years
mckinna
update
(edit)
@3291
6 years
mckinna
template beamer file, and notes for the talk more later today!
(edit)
@3290
6 years
Ian Stark
Minor edits to slides
(edit)
@3289
6 years
sacerdot
…
(edit)
@3287
6 years
tranquil
back-end slides
(edit)
@3286
6 years
Ian Stark
Renaming and moving
(edit)
@3285
6 years
Ian Stark
Renaming and moving
(edit)
@3284
6 years
Ian Stark
Moving and renaming
(edit)
@3283
6 years
regisgia
* Compiled version.
(edit)
@3282
6 years
regisgia
* WP5 slides for the final review.
(edit)
@3281
6 years
tranquil
back end correctness slides, alas still incomplete
(edit)
@3280
6 years
Ian Stark
Front end final review talk?
(edit)
@3279
6 years
Ian Stark
Renaming and moving
(edit)
@3278
6 years
Ian Stark
Renaming and moving
(edit)
@3277
6 years
Ian Stark
Renaming and moving
(edit)
@3276
6 years
Ian Stark
Renaming and moving
(edit)
@3275
6 years
Ian Stark
Renaming and moving
(edit)
@3274
6 years
Ian Stark
Rnaming and moving
(edit)
@3273
6 years
Ian Stark
Rnaming and moving
(edit)
@3272
6 years
Ian Stark
Rnaming and moving
(edit)
@3271
6 years
Ian Stark
Rnaming and moving
(edit)
@3270
6 years
Ian Stark
Rnaming and moving
(edit)
@3269
6 years
Ian Stark
Some revised slides in front end, not complete
(edit)
@3267
6 years
campbell
Improve a few awkward parts of front-end slides.
(edit)
@3266
6 years
campbell
Some f.e. revisions.
(edit)
@3264
6 years
campbell
Draft a bit of missing content for front-end slides.
(edit)
@3260
6 years
campbell
Start adapting previous talk to front-end review.
(edit)
@2945
6 years
campbell
Minor tweak.
(edit)
@2941
6 years
campbell
Update proof slides.
(edit)
@2589
7 years
campbell
Add one of the simulation diagrams
(edit)
@2587
7 years
campbell
Tweak talk a little.
(edit)
@2586
7 years
amadio
r
(edit)
@2585
7 years
campbell
Many improvements to proof/structured traces talk.
(edit)
@2584
7 years
regisgia
* Update slides.
(edit)
@2583
7 years
campbell
Structured traces talk with most of the content; not quite final.
(edit)
@2579
7 years
regisgia
* First version of Yann's slides.
(edit)
@2577
7 years
tranquil
abstract of indexed labels talk
(edit)
@2567
7 years
amadio
r
(add)
@2558
7 years
amadio
r
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog