isabelle: Changelog

haftmann [Wed, 02 Jul 2008 07:11:57 +0200] rev 27435

cleaned up some code generator configuration

wenzelm [Tue, 01 Jul 2008 21:30:12 +0200] rev 27434

tuned;

wenzelm [Tue, 01 Jul 2008 21:30:11 +0200] rev 27433

added datatype category;

wenzelm [Tue, 01 Jul 2008 21:30:08 +0200] rev 27432

replaced datatype kind by OuterKeyword.category;

wenzelm [Tue, 01 Jul 2008 21:20:18 +0200] rev 27431

clean: HOL-Plain;

huffman [Tue, 01 Jul 2008 20:26:48 +0200] rev 27430

prove lemma finite in context of finite class

wenzelm [Tue, 01 Jul 2008 20:10:59 +0200] rev 27429

added HOL-Plain;

wenzelm [Tue, 01 Jul 2008 18:38:44 +0200] rev 27428

explicit identification of toplevel commands, with status etc.; explicit point for tty mode; prompt: markup prev id; tuned signature;

wenzelm [Tue, 01 Jul 2008 18:38:43 +0200] rev 27427

added name_of; added get_id/put_id; tuned;

wenzelm [Tue, 01 Jul 2008 18:38:41 +0200] rev 27426

added get_id/put_id;

isabelle