isabelle: Changelog

wenzelm [Sat, 09 Oct 1999 23:16:31 +0200] rev 7814

check format; support bibtex;

wenzelm [Sat, 09 Oct 1999 23:15:40 +0200] rev 7813

added ISABELLE_BIBTEX;

wenzelm [Sat, 09 Oct 1999 16:18:16 +0200] rev 7812

removed 8bit;

wenzelm [Fri, 08 Oct 1999 17:07:10 +0200] rev 7811

\isakeyword: italic correction;

wenzelm [Fri, 08 Oct 1999 17:06:48 +0200] rev 7810

old_header: proper error message;

wenzelm [Fri, 08 Oct 1999 16:47:44 +0200] rev 7809

tuned presentation;

wenzelm [Fri, 08 Oct 1999 16:40:27 +0200] rev 7808

update from Gertrud;

wenzelm [Fri, 08 Oct 1999 16:18:51 +0200] rev 7807

tuned;

wenzelm [Fri, 08 Oct 1999 16:17:59 +0200] rev 7806

url;

wenzelm [Fri, 08 Oct 1999 16:16:51 +0200] rev 7805

theorem database now also indexes constants "Trueprop", "all", "==>", "=="; thus thms_containing, findI etc. may retrieve more rules;

isabelle