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   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.