#
# ChangeLog for tools
#
# Generated by Trac 1.2
# Apr 28, 2024 1:00:56 AM

Mon, 09 Jul 2012 15:39:13 GMT Ted Faber <faber@…> [c8c3208]

	Command line file


Mon, 09 Jul 2012 06:08:13 GMT Ted Faber <faber@…> [08f776a]

	Better names


Mon, 09 Jul 2012 04:49:02 GMT Ted Faber <faber@…> [39cd6e5]

	GUI views!


Sun, 08 Jul 2012 00:32:22 GMT Ted Faber <faber@…> [c3e4516]

	Whoops.  Remove debug


Sun, 08 Jul 2012 00:25:31 GMT Ted Faber <faber@…> [a7bffcd]

	Pretty good text output


Sat, 07 Jul 2012 01:22:22 GMT Ted Faber <faber@…> [af36abb]

	Suggest corrections from TIED partial proof