|
|
|
@41c4b5e
|
21 months |
pabuhr |
updates related to introduction chapter changes
stuck-waitfor-destruct
|
|
|
|
@ccfbfd9
|
21 months |
pabuhr |
more proofreading with respect to Gregor's comments
stuck-waitfor-destruct
|
|
|
|
@ec20ab9
|
21 months |
pabuhr |
small updates, and more proofreading of the related-works chapter
stuck-waitfor-destruct
|
|
|
|
@d69f7114
|
21 months |
pabuhr |
proofread section Enumeration Trait, and a few other wording changes
stuck-waitfor-destruct
|
|
|
|
@d414664
|
21 months |
j82liang |
Update writing part for enum trait
stuck-waitfor-destruct
|
|
|
|
@35897fb
|
21 months |
j82liang |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
stuck-waitfor-destruct
|
|
|
|
@de3a579
|
21 months |
j82liang |
Add trait subsection
stuck-waitfor-destruct
|
|
|
|
@caaf424
|
21 months |
pabuhr |
remove glossary macros, switch back to newterm marco from Newterm, …
stuck-waitfor-destruct
|
|
|
|
@f6321173
|
22 months |
pabuhr |
more proofreading on enumeration chapters
stuck-waitfor-destruct
|
|
|
|
@314c9d8
|
22 months |
pabuhr |
more proofreading on introduction chapter (discussion of ADT)
stuck-waitfor-destruct
|
|
|
|
@566cc33
|
22 months |
pabuhr |
move all lstnewenvironment macros to central location in uw-ethesis.tex
stuck-waitfor-destruct
|
|
|
|
@4da9142
|
22 months |
pabuhr |
more proofreading on enumerations
stuck-waitfor-destruct
|
|
|
|
@c148966
|
22 months |
pabuhr |
documentation
stuck-waitfor-destruct
|
|
|
|
@2a27998
|
22 months |
pabuhr |
add citation from OED for enumerate
stuck-waitfor-destruct
|
|
|
|
@84886499
|
23 months |
j82liang |
Small update
stuck-waitfor-destruct
|
|
|
|
@d734fa1
|
23 months |
j82liang |
Comment on relatedwork work
stuck-waitfor-destruct
|
|
|
|
@41fb996
|
23 months |
pabuhr |
word smithing and poking at rust enumerations
stuck-waitfor-destruct
|
|
|
|
@48b76d03
|
23 months |
pabuhr |
fine tune justification for enumerations
stuck-waitfor-destruct
|
|
|
|
@caf2cba
|
23 months |
pabuhr |
justification for enumerations
stuck-waitfor-destruct
|
|
|
|
@e00b10d
|
23 months |
pabuhr |
added Gregor and Andrew emails
stuck-waitfor-destruct
|
|
|
|
@7d9a805b
|
23 months |
pabuhr |
more proofreading for enumerations
stuck-waitfor-destruct
|
|
|
|
@223b631
|
23 months |
pabuhr |
add comparison table for related work
stuck-waitfor-destruct
|
|
|
|
@6337916
|
23 months |
pabuhr |
fold in Gregor's comments on OCaml
stuck-waitfor-destruct
|
|
|
|
@56a8eb8
|
2 years |
pabuhr |
more updates on OCaml
stuck-waitfor-destruct
|
|
|
|
@423c0cd
|
2 years |
pabuhr |
more updates on OCaml
stuck-waitfor-destruct
|
|
|
|
@9a32903
|
2 years |
pabuhr |
update OCaml text and add OCaml citation
stuck-waitfor-destruct
|
|
|
|
@282061a
|
2 years |
pabuhr |
update OCaml text
stuck-waitfor-destruct
|
|
|
|
@6c8b76b
|
2 years |
j82liang |
Fix ocaml code
stuck-waitfor-destruct
|
|
|
|
@9398177
|
2 years |
j82liang |
Add OCamal section to related work
stuck-waitfor-destruct
|
|
|
|
@9262fe9
|
2 years |
pabuhr |
more proofreading for enumeration related-work
stuck-waitfor-destruct
|
|
|
|
@1d5e5601
|
2 years |
pabuhr |
more proofreading on the enumeration related-work section
stuck-waitfor-destruct
|
|
|
|
@924534e
|
2 years |
pabuhr |
more proofreading on the enumeration related-work section
stuck-waitfor-destruct
|
|
|
|
@022bce0
|
2 years |
pabuhr |
more proofreading on enumeration thesis
stuck-waitfor-destruct
|
|
|
|
@7bb516f
|
2 years |
pabuhr |
more proofreading on enumeration thesis
stuck-waitfor-destruct
|
|
|
|
@38f5006
|
2 years |
pabuhr |
update related work for Ada and Golang
stuck-waitfor-destruct
|
|
|
|
@f9da761
|
2 years |
pabuhr |
change text to use macros \eg amd \ie
stuck-waitfor-destruct
|
|
|
|
@f936e23
|
2 years |
pabuhr |
add more text to related-work chapter
stuck-waitfor-destruct
|
|
|
|
@acde87a
|
2 years |
pabuhr |
remove unnecessary latex macros
stuck-waitfor-destruct
|
|
|
|
@956299b
|
2 years |
pabuhr |
copy enum proposal to enum thesis
stuck-waitfor-destruct
|
|
|
|
@6bd9f9e
|
2 years |
j82liang |
Rename and move the file to proposal
stuck-waitfor-destruct
|
|
|
|
@bab2917
|
2 years |
j82liang |
Update the introduction
stuck-waitfor-destruct
|
|
|
|
@85034ed
|
2 years |
j82liang |
Initial commit
stuck-waitfor-destruct
|
|
|
|
@18ebc28
|
2 years |
pabuhr |
create MMath thesis macros for Jiada
stuck-waitfor-destruct
|
