# # ChangeLog for doc/theses/aaron_moss/phd/type-environment.tex # # Generated by Trac 1.2.1 # Mar 28, 2024, 10:33:11 AM Mon, 27 Aug 2018 21:30:25 GMT Aaron Moss [62e782e] * doc/theses/aaron_moss/phd/Makefile (modified) * doc/theses/aaron_moss/phd/aaron-thesis.bib (modified) * doc/theses/aaron_moss/phd/generic-types.tex (modified) * doc/theses/aaron_moss/phd/introduction.tex (modified) * doc/theses/aaron_moss/phd/macros.tex (modified) * doc/theses/aaron_moss/phd/resolution-heuristics.tex (modified) * doc/theses/aaron_moss/phd/type-environment.tex (modified) Initial draft of thesis introduction Mon, 27 Aug 2018 20:07:52 GMT Aaron Moss [2a9d12d] * doc/theses/aaron_moss/phd/.gitignore (added) * doc/theses/aaron_moss/phd/Makefile (added) * doc/theses/aaron_moss/phd/aaron-thesis.bib (added) * doc/theses/aaron_moss/phd/background.tex (added) * doc/theses/aaron_moss/phd/conclusion.tex (added) * doc/theses/aaron_moss/phd/frontpgs.tex (added) * doc/theses/aaron_moss/phd/generic-types.tex (added) * doc/theses/aaron_moss/phd/introduction.tex (added) * doc/theses/aaron_moss/phd/macros.tex (added) * doc/theses/aaron_moss/phd/resolution-heuristics.tex (added) * doc/theses/aaron_moss/phd/thesis.tex (added) * doc/theses/aaron_moss/phd/type-environment.tex (added) Initial stubs of thesis files