source: doc/theses/jiada_liang_MMath/CFAenum.tex

Revision Log Mode:


Legend:

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