isabelle: Changelog

wenzelm [Wed, 02 Jun 1999 22:25:57 +0200] rev 6759

"..." syntax;

wenzelm [Wed, 02 Jun 1999 11:55:18 +0200] rev 6758

find -print;

wenzelm [Tue, 01 Jun 1999 19:47:10 +0200] rev 6757

'kill' made improper;

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;

isabelle