Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
View Latest Revision
source:
src
/
ASM
/
CPP2011
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)
@1026
9 years
mulligan
final version? under 16 pages
(edit)
@1025
9 years
mulligan
removing stray single words to reduce page usage
(edit)
@1024
9 years
mulligan
tidied explanation of proof
(edit)
@1023
9 years
mulligan
changes to english in matita section, shrunk diagrams in introduction …
(edit)
@1022
9 years
sacerdot
…
(edit)
@1021
9 years
mulligan
tidied english in sect 3
(edit)
@1020
9 years
sacerdot
More on Matita.
(edit)
@1019
9 years
sacerdot
Finished rewriting of Section 3.
(edit)
@1018
9 years
mulligan
tidying
(edit)
@1017
9 years
mulligan
complete, just under 16 pages
(edit)
@1016
9 years
sacerdot
Many fixes to the code snippets.
(edit)
@1013
9 years
mulligan
more added
(edit)
@1012
9 years
mulligan
just a few things left to change
(edit)
@1011
9 years
mulligan
…
(edit)
@1010
9 years
mulligan
more added, finished up to end of subsect 3.2
(edit)
@1009
9 years
mulligan
added line number counts, etc.
(edit)
@1008
9 years
mulligan
…
(edit)
@1007
9 years
mulligan
added explanation of sdcc
(edit)
@1005
9 years
sacerdot
…
(edit)
@1004
9 years
mulligan
changes to typesetting
(edit)
@1003
9 years
sacerdot
…
(edit)
@1002
9 years
sacerdot
…
(edit)
@1001
9 years
mulligan
reworded intro
(edit)
@1000
9 years
sacerdot
…
(edit)
@999
9 years
mulligan
conclusions
(edit)
@997
9 years
mulligan
minor linguistic polishing
(edit)
@996
9 years
sacerdot
Minor fixes.
(edit)
@995
9 years
mulligan
changes
(edit)
@992
9 years
mulligan
a few more axioms closed
(edit)
@986
9 years
mulligan
changes to paper
(edit)
@984
9 years
mulligan
updates
(edit)
@983
9 years
mulligan
more work added
(edit)
@981
9 years
mulligan
added more, worked on conclusions and related work. need just to …
(edit)
@976
9 years
mulligan
more changes, rearranged paper to put lemmas/defns in correct order, …
(edit)
@974
9 years
mulligan
more added
(edit)
@973
9 years
mulligan
work from yesterday that could not be committed
(edit)
@970
9 years
mulligan
commit as i need some money for the communists
(edit)
@969
9 years
mulligan
more work on paper, nearly finished policy discussion
(edit)
@968
9 years
mulligan
work on paper
(edit)
@960
9 years
mulligan
more work on paper
(edit)
@958
9 years
sacerdot
…
(edit)
@957
9 years
sacerdot
…
(edit)
@956
9 years
mulligan
changes prior to claudio's editing
(edit)
@955
9 years
mulligan
more work on conclusions
(edit)
@954
9 years
mulligan
more changes to introduction
(edit)
@953
9 years
mulligan
more changes, including additions to the bibliography, and tightening …
(edit)
@952
9 years
mulligan
work from yesterday
(edit)
@947
9 years
sacerdot
…
(edit)
@927
9 years
mulligan
changes
(edit)
@918
9 years
mulligan
headers added, etc.
(add)
@917
9 years
mulligan
outline of cpp paper committed
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog