# # ChangeLog for tools/suggest # # Generated by Trac 1.2 # May 18, 2024 12:43:20 PM Mon, 09 Jul 2012 04:49:02 GMT Ted Faber [39cd6e5] GUI views! Sun, 08 Jul 2012 00:32:22 GMT Ted Faber [c3e4516] Whoops. Remove debug Sun, 08 Jul 2012 00:25:31 GMT Ted Faber [a7bffcd] Pretty good text output Sat, 07 Jul 2012 01:22:22 GMT Ted Faber [af36abb] Suggest corrections from TIED partial proof