source: doc/theses/jiada_liang_MMath/CFAenum.tex

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @10a99d87   4 months pabuhr proofread last push of CFA enumerations
(edit) @09dd830   4 months j82liang grammar fixed by a dsoftware
(edit) @dc1c430   4 months j82liang update CFAenum.tex
(edit) @62a38e7   5 months pabuhr remove calls to label() from planet program
(edit) @29092213   5 months pabuhr update planet example program
(edit) @bc17be98   5 months pabuhr small proofreading changes to Cforall numeration chapter
(edit) @31f4837   6 months j82liang Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
(edit) @acb33f15   6 months j82liang Change enum conversion steps
(edit) @ec20ab9   6 months pabuhr small updates, and more proofreading of the related-works chapter
(edit) @d69f7114   6 months pabuhr proofread section Enumeration Trait, and a few other wording changes
(edit) @d414664   6 months j82liang Update writing part for enum trait
(edit) @35897fb   6 months j82liang Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
(edit) @de3a579   6 months j82liang Add trait subsection
(edit) @caaf424   7 months pabuhr remove glossary macros, switch back to newterm marco from Newterm, …
(edit) @f632117   7 months pabuhr more proofreading on enumeration chapters
(edit) @4da9142   7 months pabuhr more proofreading on enumerations
(edit) @7d9a805b   8 months pabuhr more proofreading for enumerations
(edit) @282061a   8 months pabuhr update OCaml text
(edit) @f9da761   9 months pabuhr change text to use macros \eg amd \ie
(add) @956299b   9 months pabuhr copy enum proposal to enum thesis
Note: See TracRevisionLog for help on using the revision log.