#
# ChangeLog for doc/user/figures/EHMHierarchy.fig
#
# Generated by Trac 1.2.1
# Nov 18, 2024, 12:01:22 PM

Fri, 09 Jun 2023 18:32:12 GMT Peter A. Buhr <pabuhr@…> [758c9ef]
	* doc/user/figures/EHMHierarchy.fig (modified)

	change font size of text in EHMHierarchy.fig


Wed, 31 Jan 2018 22:49:36 GMT Peter A. Buhr <pabuhr@…> [5ff188f]
	* doc/bibliography/pl.bib (moved)
	* doc/papers/OOPSLA17/.gitignore (modified)
	* doc/papers/OOPSLA17/Makefile (modified)
	* doc/papers/OOPSLA17/evaluation/timing.gp (modified)
	* doc/papers/OOPSLA17/generic_types.tex (modified)
	* doc/papers/concurrency/.gitignore (modified)
	* doc/papers/concurrency/Makefile (modified)
	* doc/papers/concurrency/Paper.tex (modified)
	* doc/papers/general/.gitignore (modified)
	* doc/papers/general/Makefile (modified)
	* doc/papers/general/Paper.tex (modified)
	* doc/papers/general/evaluation/timing.gp (modified)
	* doc/proposals/tuples/tuples.tex (modified)
	* doc/refrat/.gitignore (modified)
	* doc/refrat/Makefile (modified)
	* doc/refrat/refrat.bib (deleted)
	* doc/refrat/refrat.tex (modified)
	* doc/user/.gitignore (modified)
	* doc/user/Makefile (modified)
	* doc/user/figures/Cdecl.fig (moved)
	* doc/user/figures/EHMHierarchy.fig (moved)
	* doc/user/figures/pointer1.fig (moved)
	* doc/user/figures/pointer2.fig (moved)
	* doc/user/user.tex (modified)

	further changes to document Makefiles