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
7 years
mckinna
removed local verison for JHM's machine wp6.tex definitive
(edit)
@3301
7 years
mckinna
updates: wp6.tex is definitive
(edit)
@3300
7 years
mckinna
updates
(edit)
@3297
7 years
tranquil
final version
(edit)
@3294
7 years
mckinna
draft final version: more to say than to put on slides etc.
(edit)
@3293
7 years
mckinna
more: desitination data (partial)
(edit)
@3292
7 years
mckinna
update
(edit)
@3291
7 years
mckinna
template beamer file, and notes for the talk more later today!
(edit)
@3290
7 years
Ian Stark
Minor edits to slides
(edit)
@3289
7 years
sacerdot
…
(edit)
@3287
7 years
tranquil
back-end slides
(edit)
@3286
7 years
Ian Stark
Renaming and moving
(edit)
@3285
7 years
Ian Stark
Renaming and moving
(edit)
@3284
7 years
Ian Stark
Moving and renaming
(edit)
@3283
7 years
regisgia
* Compiled version.
(edit)
@3282
7 years
regisgia
* WP5 slides for the final review.
(edit)
@3281
7 years
tranquil
back end correctness slides, alas still incomplete
(edit)
@3280
7 years
Ian Stark
Front end final review talk?
(edit)
@3279
7 years
Ian Stark
Renaming and moving
(edit)
@3278
7 years
Ian Stark
Renaming and moving
(edit)
@3277
7 years
Ian Stark
Renaming and moving
(edit)
@3276
7 years
Ian Stark
Renaming and moving
(edit)
@3275
7 years
Ian Stark
Renaming and moving
(edit)
@3274
7 years
Ian Stark
Rnaming and moving
(edit)
@3273
7 years
Ian Stark
Rnaming and moving
(edit)
@3272
7 years
Ian Stark
Rnaming and moving
(edit)
@3271
7 years
Ian Stark
Rnaming and moving
(edit)
@3270
7 years
Ian Stark
Rnaming and moving
(edit)
@3269
7 years
Ian Stark
Some revised slides in front end, not complete
(edit)
@3267
7 years
campbell
Improve a few awkward parts of front-end slides.
(edit)
@3266
7 years
campbell
Some f.e. revisions.
(edit)
@3264
7 years
campbell
Draft a bit of missing content for front-end slides.
(edit)
@3260
7 years
campbell
Start adapting previous talk to front-end review.
(edit)
@2945
8 years
campbell
Minor tweak.
(edit)
@2941
8 years
campbell
Update proof slides.
(edit)
@2589
8 years
campbell
Add one of the simulation diagrams
(edit)
@2587
8 years
campbell
Tweak talk a little.
(edit)
@2586
8 years
amadio
r
(edit)
@2585
8 years
campbell
Many improvements to proof/structured traces talk.
(edit)
@2584
8 years
regisgia
* Update slides.
(edit)
@2583
8 years
campbell
Structured traces talk with most of the content; not quite final.
(edit)
@2579
8 years
regisgia
* First version of Yann's slides.
(edit)
@2577
8 years
tranquil
abstract of indexed labels talk
(edit)
@2567
8 years
amadio
r
(add)
@2558
8 years
amadio
r
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog