source: doc/theses/jiada_liang_MMath

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @1725989   3 weeks pabuhr add enumeration test programs for different programming languages
(edit) @bc17be98   3 weeks pabuhr small proofreading changes to Cforall numeration chapter
(edit) @c033405   3 weeks pabuhr first complete proofread of related-work chapter, still needs …
(edit) @736a38d   3 weeks pabuhr more proofreading of C background chapter
(edit) @4c8f29ff   3 weeks pabuhr address Gregor's comment about quantity and a unit in examples, add …
(edit) @3eb5f993   3 weeks pabuhr add missing keywords match and case to Python lstnewenvironment
(edit) @e6f1a4b   7 weeks j82liang Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
(edit) @41c4b5e   7 weeks pabuhr updates related to introduction chapter changes
(edit) @ccfbfd9   7 weeks pabuhr more proofreading with respect to Gregor's comments
(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   8 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) @314c9d8   2 months pabuhr more proofreading on introduction chapter (discussion of ADT)
(edit) @566cc33   2 months pabuhr move all lstnewenvironment macros to central location in uw-ethesis.tex
(edit) @4da9142   3 months pabuhr more proofreading on enumerations
(edit) @c148966   3 months pabuhr documentation
(edit) @2a27998   3 months pabuhr add citation from OED for enumerate
(edit) @84886499   3 months j82liang Small update
(edit) @d734fa1   3 months j82liang Comment on relatedwork work
(edit) @41fb996   3 months pabuhr word smithing and poking at rust enumerations
(edit) @48b76d03   3 months pabuhr fine tune justification for enumerations
(edit) @caf2cba   3 months pabuhr justification for enumerations
(edit) @e00b10d   3 months pabuhr added Gregor and Andrew emails
(edit) @7d9a805b   4 months pabuhr more proofreading for enumerations
(edit) @223b631   4 months pabuhr add comparison table for related work
(edit) @6337916   4 months pabuhr fold in Gregor's comments on OCaml
(edit) @56a8eb8   4 months pabuhr more updates on OCaml
(edit) @423c0cd   4 months pabuhr more updates on OCaml
(edit) @9a32903   4 months pabuhr update OCaml text and add OCaml citation
(edit) @282061a   4 months pabuhr update OCaml text
(edit) @6c8b76b   4 months j82liang Fix ocaml code
(edit) @9398177   4 months j82liang Add OCamal section to related work
(edit) @9262fe9   4 months pabuhr more proofreading for enumeration related-work
(edit) @1d5e5601   4 months pabuhr more proofreading on the enumeration related-work section
(edit) @924534e   4 months pabuhr more proofreading on the enumeration related-work section
(edit) @022bce0   4 months pabuhr more proofreading on enumeration thesis
(edit) @7bb516f   4 months pabuhr more proofreading on enumeration thesis
(edit) @38f5006   5 months pabuhr update related work for Ada and Golang
(edit) @f9da761   5 months pabuhr change text to use macros \eg amd \ie
(edit) @f936e23   5 months pabuhr add more text to related-work chapter
(edit) @acde87a   5 months pabuhr remove unnecessary latex macros
(edit) @956299b   5 months pabuhr copy enum proposal to enum thesis
(edit) @6bd9f9e   9 months j82liang Rename and move the file to proposal
(edit) @bab2917   9 months j82liang Update the introduction
(edit) @85034ed   9 months j82liang Initial commit
(add) @18ebc28   11 months pabuhr create MMath thesis macros for Jiada
Note: See TracRevisionLog for help on using the revision log.