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
/
itp-2011.tex
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)
@548
9 years
mulligan
Fixed English in conclusion and discussion of I/O.
(edit)
@546
9 years
mulligan
Partly rewritten conclusions to fix English
(edit)
@545
9 years
sacerdot
I/O revisited.
(edit)
@544
9 years
sacerdot
…
(edit)
@543
9 years
sacerdot
…
(edit)
@542
9 years
sacerdot
Comparison.
(edit)
@541
9 years
mulligan
Added more to appendix
(edit)
@540
9 years
mulligan
Added appendix with main functions
(edit)
@539
9 years
mulligan
more added
(edit)
@538
9 years
mulligan
Fixed overview of paper, and finished describing continuations.
(edit)
@537
9 years
mulligan
more added
(edit)
@536
9 years
mulligan
more added
(edit)
@532
9 years
mulligan
after much faffing, top of minipages now align correctly
(edit)
@529
9 years
mulligan
wrote about cost labels
(edit)
@528
9 years
mulligan
Removed all \begin{quote} .. \end{quote} around code snippets for …
(edit)
@527
9 years
mulligan
added section on representation of integers
(edit)
@526
9 years
sacerdot
Something to say in the comparison.
(edit)
@525
9 years
mulligan
lots of changes
(edit)
@524
9 years
mulligan
Finished discussion of anatomy of emulator
(edit)
@523
9 years
mulligan
added a small reference to cost labels, along with a pointer to the …
(edit)
@522
9 years
mulligan
completed changes to discussion on labels and pseudoinstructions
(edit)
@521
9 years
mulligan
more changes
(edit)
@520
9 years
mulligan
more changes
(edit)
@519
9 years
mulligan
Footnote fixed
(edit)
@518
9 years
mulligan
small changes
(edit)
@517
9 years
mulligan
more added
(edit)
@516
9 years
mulligan
Added section on Tries
(edit)
@515
9 years
mulligan
finished tidying the introduction
(edit)
@514
9 years
mulligan
more tidying
(edit)
@513
9 years
mulligan
more changes to intro
(edit)
@512
9 years
mulligan
tidy up of the intro
(edit)
@511
9 years
mulligan
validation section complete
(edit)
@510
9 years
mulligan
more added, talking about dependent types now
(edit)
@509
9 years
sacerdot
Background.
(edit)
@508
9 years
mulligan
Changes
(edit)
@507
9 years
mulligan
A bit on labels and pseudo-instructions
(edit)
@506
9 years
mulligan
a bit more added
(edit)
@505
9 years
mulligan
finished sentence
(edit)
@504
9 years
mulligan
work on intro committed following claudio's second e-mail
(edit)
@501
9 years
mulligan
more changes
(edit)
@495
9 years
mulligan
more added
(edit)
@494
9 years
mulligan
more added
(edit)
@493
9 years
mulligan
incorporated some text from the eu report that needs to be pared down
(add)
@492
9 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