# # ChangeLog for doc/theses/aaron_moss/phd # # Generated by Trac 1.2.1 # May 1, 2024, 6:13:10 AM Mon, 17 Sep 2018 12:26:23 GMT Aaron Moss [7ff01ff] * doc/theses/aaron_moss/phd/background.tex (modified) * doc/theses/aaron_moss/phd/generic-types.tex (modified) Minor tweaks to thesis Mon, 17 Sep 2018 12:20:02 GMT Aaron Moss [9fce933a] * doc/bibliography/pl.bib (modified) * doc/theses/aaron_moss/phd/Makefile (modified) * doc/theses/aaron_moss/phd/aaron-thesis.bib (deleted) * doc/theses/aaron_moss/phd/thesis.tex (modified) Clean up build system for PhD thesis Mon, 10 Sep 2018 21:17:27 GMT Aaron Moss [0cf9ffd] * doc/theses/aaron_moss/phd/Makefile (modified) * doc/theses/aaron_moss/phd/background.tex (modified) * doc/theses/aaron_moss/phd/cfa-macros.tex (added) * doc/theses/aaron_moss/phd/conclusion.tex (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/thesis.tex (modified) CFA background information for thesis, mostly from comp II proposal Wed, 29 Aug 2018 01:44:09 GMT Aaron Moss [514247d] * doc/theses/aaron_moss/phd/.gitignore (modified) * doc/theses/aaron_moss/phd/aaron-thesis.bib (modified) * doc/theses/aaron_moss/phd/frontpgs.tex (modified) * doc/theses/aaron_moss/phd/introduction.tex (modified) * doc/theses/aaron_moss/phd/macros.tex (modified) Add motivation of C to thesis introduction Mon, 27 Aug 2018 22:18:18 GMT Aaron Moss [ce00317] * doc/theses/aaron_moss/phd/aaron-thesis.bib (modified) * doc/theses/aaron_moss/phd/background.tex (modified) Add history of CFA to thesis background 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