Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
View Latest Revision
source:
Deliverables
/
D4.1
/
ITP-Paper
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)
@551
10 years
mulligan
more added to bibliography
(edit)
@550
10 years
mulligan
more entries added to bib
(edit)
@549
10 years
mulligan
Half of bibliography added.
(edit)
@548
10 years
mulligan
Fixed English in conclusion and discussion of I/O.
(edit)
@546
10 years
mulligan
Partly rewritten conclusions to fix English
(edit)
@545
10 years
sacerdot
I/O revisited.
(edit)
@544
10 years
sacerdot
…
(edit)
@543
10 years
sacerdot
…
(edit)
@542
10 years
sacerdot
Comparison.
(edit)
@541
10 years
mulligan
Added more to appendix
(edit)
@540
10 years
mulligan
Added appendix with main functions
(edit)
@539
10 years
mulligan
more added
(edit)
@538
10 years
mulligan
Fixed overview of paper, and finished describing continuations.
(edit)
@537
10 years
mulligan
more added
(edit)
@536
10 years
mulligan
more added
(edit)
@532
10 years
mulligan
after much faffing, top of minipages now align correctly
(edit)
@529
10 years
mulligan
wrote about cost labels
(edit)
@528
10 years
mulligan
Removed all \begin{quote} .. \end{quote} around code snippets for …
(edit)
@527
10 years
mulligan
added section on representation of integers
(edit)
@526
10 years
sacerdot
Something to say in the comparison.
(edit)
@525
10 years
mulligan
lots of changes
(edit)
@524
10 years
mulligan
Finished discussion of anatomy of emulator
(edit)
@523
10 years
mulligan
added a small reference to cost labels, along with a pointer to the …
(edit)
@522
10 years
mulligan
completed changes to discussion on labels and pseudoinstructions
(edit)
@521
10 years
mulligan
more changes
(edit)
@520
10 years
mulligan
more changes
(edit)
@519
10 years
mulligan
Footnote fixed
(edit)
@518
10 years
mulligan
small changes
(edit)
@517
10 years
mulligan
more added
(edit)
@516
10 years
mulligan
Added section on Tries
(edit)
@515
10 years
mulligan
finished tidying the introduction
(edit)
@514
10 years
mulligan
more tidying
(edit)
@513
10 years
mulligan
more changes to intro
(edit)
@512
10 years
mulligan
tidy up of the intro
(edit)
@511
10 years
mulligan
validation section complete
(edit)
@510
10 years
mulligan
more added, talking about dependent types now
(edit)
@509
10 years
sacerdot
Background.
(edit)
@508
10 years
mulligan
Changes
(edit)
@507
10 years
mulligan
A bit on labels and pseudo-instructions
(edit)
@506
10 years
mulligan
a bit more added
(edit)
@505
10 years
mulligan
finished sentence
(edit)
@504
10 years
mulligan
work on intro committed following claudio's second e-mail
(edit)
@503
10 years
mulligan
Added PNG files for claudio.
(edit)
@501
10 years
mulligan
more changes
(edit)
@495
10 years
mulligan
more added
(edit)
@494
10 years
mulligan
more added
(edit)
@493
10 years
mulligan
incorporated some text from the eu report that needs to be pared down
(add)
@492
10 years
mulligan
Initial commit of outline of prospective itp-2011 paper.
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog