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)
@3272
8 years
Ian Stark
Rnaming and moving
(edit)
@3271
8 years
Ian Stark
Rnaming and moving
(edit)
@3270
8 years
Ian Stark
Rnaming and moving
(edit)
@3269
8 years
Ian Stark
Some revised slides in front end, not complete
(edit)
@3267
8 years
campbell
Improve a few awkward parts of front-end slides.
(edit)
@3266
8 years
campbell
Some f.e. revisions.
(edit)
@3264
8 years
campbell
Draft a bit of missing content for front-end slides.
(edit)
@3260
8 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