isabelle: Changelog

wenzelm [Tue, 01 Jun 1999 19:46:52 +0200] rev 6756

improved print_state;

wenzelm [Tue, 01 Jun 1999 18:12:45 +0200] rev 6755

'note': Toplevel.print;

wenzelm [Tue, 01 Jun 1999 18:01:01 +0200] rev 6754

tuned markup;

wenzelm [Tue, 01 Jun 1999 18:00:33 +0200] rev 6753

broder size 3;

wenzelm [Mon, 31 May 1999 23:09:13 +0200] rev 6752

setup_goal: proper handling of non-atomic goals (include cprems into asms);

wenzelm [Mon, 31 May 1999 19:08:26 +0200] rev 6751

Isabelle manuals now also available as PDF;

wenzelm [Fri, 28 May 1999 18:20:58 +0200] rev 6750

move pdfs back into dist;

wenzelm [Fri, 28 May 1999 18:00:53 +0200] rev 6749

pdf docs;

wenzelm [Fri, 28 May 1999 18:00:33 +0200] rev 6748

separate archive for pdf docs;

wenzelm [Fri, 28 May 1999 17:59:22 +0200] rev 6747

\def\bold;

isabelle