testboard: Changelog

wenzelm [Mon, 25 Oct 1999 20:38:03 +0200] rev 7928

improved handling of warn_extra_tfrees;

wenzelm [Mon, 25 Oct 1999 19:24:43 +0200] rev 7927

update by Gertrud Bauer;

wenzelm [Mon, 25 Oct 1999 19:24:31 +0200] rev 7926

added Real/HahnBanach/document/root.bib;

wenzelm [Fri, 22 Oct 1999 21:50:12 +0200] rev 7925

warn_extra_tfrees (after declare_term);

wenzelm [Fri, 22 Oct 1999 21:49:33 +0200] rev 7924

warn_extra_tfrees; removed bind(_i), add_binds, declare_term;

wenzelm [Fri, 22 Oct 1999 21:48:50 +0200] rev 7923

warn_extra_tfrees;

wenzelm [Fri, 22 Oct 1999 20:25:19 +0200] rev 7922

tuned repeat_undo;

wenzelm [Fri, 22 Oct 1999 20:25:00 +0200] rev 7921

debug_simp;

wenzelm [Fri, 22 Oct 1999 20:24:13 +0200] rev 7920

new flag debug_simp

wenzelm [Fri, 22 Oct 1999 20:24:08 +0200] rev 7919

tuned simplifier trace output; new flag debug_simp

testboard