Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
View Latest Revision
source:
doc
/
theses
/
jiada_liang_MMath
/
CFAenum.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)
@29092213
22 months
pabuhr
update planet example program
stuck-waitfor-destruct
(edit)
@bc17be98
23 months
pabuhr
small proofreading changes to Cforall numeration chapter
stuck-waitfor-destruct
(edit)
@31f4837
2 years
j82liang
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
stuck-waitfor-destruct
(edit)
@acb33f15
2 years
j82liang
Change enum conversion steps
stuck-waitfor-destruct
(edit)
@ec20ab9
2 years
pabuhr
small updates, and more proofreading of the related-works chapter
stuck-waitfor-destruct
(edit)
@d69f7114
2 years
pabuhr
proofread section Enumeration Trait, and a few other wording changes
stuck-waitfor-destruct
(edit)
@d414664
2 years
j82liang
Update writing part for enum trait
stuck-waitfor-destruct
(edit)
@35897fb
2 years
j82liang
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
stuck-waitfor-destruct
(edit)
@de3a579
2 years
j82liang
Add trait subsection
stuck-waitfor-destruct
(edit)
@caaf424
2 years
pabuhr
remove glossary macros, switch back to newterm marco from Newterm, …
stuck-waitfor-destruct
(edit)
@f6321173
2 years
pabuhr
more proofreading on enumeration chapters
stuck-waitfor-destruct
(edit)
@4da9142
2 years
pabuhr
more proofreading on enumerations
stuck-waitfor-destruct
(edit)
@7d9a805b
2 years
pabuhr
more proofreading for enumerations
stuck-waitfor-destruct
(edit)
@282061a
2 years
pabuhr
update OCaml text
stuck-waitfor-destruct
(edit)
@f9da761
2 years
pabuhr
change text to use macros \eg amd \ie
stuck-waitfor-destruct
(add)
@956299b
2 years
pabuhr
copy enum proposal to enum thesis
stuck-waitfor-destruct
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog