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