source: doc/theses/jiada_liang_MMath/CFAenum.tex

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @29c8675   2 months j82liang update thesis
(edit) @3ac5fd8   3 months pabuhr first attempt changing end-of-file to an exception
(edit) @acab1bd   3 months j82liang rephrase enum initialization
(edit) @7568e5c   3 months j82liang Minor update on the thesis (add auto initialization and update future work
(edit) @c1c0efdb   3 months pabuhr last proofread of thesis
(edit) @b0069a3   3 months j82liang Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
(edit) @92a0ee8   3 months j82liang Small thesis unpdate
(edit) @9d3a4cc   3 months pabuhr fix PDF warnings about special characters in titles
(edit) @fd0a9bf   3 months pabuhr formatting
(edit) @3b10778   3 months pabuhr small proofreading updates
(edit) @1d8a349   3 months j82liang change wording
(edit) @f3abce9   3 months j82liang update subset section
(edit) @59fb462   3 months j82liang Add code comment along the example
(edit) @63d5b9c8   3 months j82liang Merge changes
(edit) @0c51c8b4   3 months pabuhr formatting, add section of enumeration subset
(edit) @c588acb   3 months pabuhr proofread CFA enumeration chapter
(edit) @1697c40   4 months j82liang merge local changes
(edit) @c141c09   4 months j82liang Update
(edit) @fcf3493   4 months j82liang update on thesis
(edit) @09bdf2d   4 months j82liang Add CEnum.tex
(edit) @38e20a80   4 months j82liang update thesis
(edit) @5aeb1a9   4 months j82liang Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
(edit) @a03ed29   4 months j82liang conclude merge
(edit) @6f47834   4 months pabuhr add section on enumeration I/O
(edit) @e561551   4 months j82liang Save current progress for pull
(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   7 months pabuhr proofread section Enumeration Trait, and a few other wording changes
(edit) @d414664   7 months j82liang Update writing part for enum trait
(edit) @35897fb   7 months j82liang Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
(edit) @de3a579   7 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.