isabelle: Changelog

wenzelm [Sat, 09 Oct 1999 23:17:47 +0200] rev 7816

bib;

wenzelm [Sat, 09 Oct 1999 23:16:59 +0200] rev 7815

support bibtex; tuned;

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;

isabelle