isabelle: Changelog

wenzelm [Tue, 06 May 2008 00:08:52 +0200] rev 26785

element: isakeyword markup;

wenzelm [Mon, 05 May 2008 15:27:13 +0200] rev 26784

removed isasymIN -- already defined in isar.sty;

wenzelm [Mon, 05 May 2008 15:23:59 +0200] rev 26783

added isasymIN/STRUCTURE;

wenzelm [Mon, 05 May 2008 15:23:21 +0200] rev 26782

converted generic.tex to Thy/Generic.thy;

wenzelm [Sun, 04 May 2008 21:34:44 +0200] rev 26781

removed isasymIMPORTS/BEGIN -- already defined in isar.sty;

wenzelm [Sat, 03 May 2008 13:36:11 +0200] rev 26780

tuned syntax: props and facts;

wenzelm [Sat, 03 May 2008 13:26:08 +0200] rev 26779

converted refcard.tex to Thy/Quick_Reference.thy;

wenzelm [Sat, 03 May 2008 13:25:27 +0200] rev 26778

added \isasymdash;

wenzelm [Fri, 02 May 2008 22:49:53 +0200] rev 26777

misc tuning;

wenzelm [Fri, 02 May 2008 22:48:51 +0200] rev 26776

updated generated file;

isabelle