#
# ChangeLog for doc/theses/aaron_moss_PhD/phd/figures/resolution-dag.odg
#
# Generated by Trac 1.2.1
# May 11, 2024, 6:45:19 AM

Tue, 05 Mar 2019 20:10:06 GMT Aaron Moss <a3moss@…> [8b1dc66]
	* doc/theses/aaron_moss_PhD/phd/figures/resolution-dag.eps (modified)
	* doc/theses/aaron_moss_PhD/phd/figures/resolution-dag.odg (modified)
	* doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (modified)

	thesis: second draft of ch.4


Thu, 24 Jan 2019 23:17:26 GMT Aaron Moss <a3moss@…> [3deb316]
	* doc/theses/aaron_moss_PhD/phd/Makefile (modified)
	* doc/theses/aaron_moss_PhD/phd/figures/resolution-dag.eps (added)
	* doc/theses/aaron_moss_PhD/phd/figures/resolution-dag.odg (added)
	* doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (modified)
	* doc/theses/aaron_moss_PhD/phd/thesis.tex (modified)

	thesis: further description of resolution algorithm variants