isabelle: Changelog

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;

wenzelm [Fri, 02 May 2008 22:47:58 +0200] rev 26775

use underscore for underscore;

wenzelm [Fri, 02 May 2008 22:47:23 +0200] rev 26774

output_entity: added \mbox{} to prevent hyphenation;

urbanc [Fri, 02 May 2008 22:43:14 +0200] rev 26773

added more infrastructure for fresh_star

urbanc [Fri, 02 May 2008 18:42:17 +0200] rev 26772

added mising lemma

isabelle