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