# # ChangeLog for tools/suggest # # Generated by Trac 1.2 # May 18, 2024 3:21:08 PM 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