isabelle: Changelog

urbanc [Mon, 08 Oct 2007 05:27:52 +0200] rev 24896

added the two new examples from Nominal to the build process

urbanc [Mon, 08 Oct 2007 05:23:47 +0200] rev 24895

added two new example files

wenzelm [Sun, 07 Oct 2007 21:29:42 +0200] rev 24894

modernized specifications;

wenzelm [Sun, 07 Oct 2007 21:19:31 +0200] rev 24893

modernized specifications; removed legacy ML bindings;

wenzelm [Sun, 07 Oct 2007 15:49:25 +0200] rev 24892

replaced some 'translations' by 'abbreviation';

wenzelm [Sun, 07 Oct 2007 13:57:05 +0200] rev 24891

* Basic Isabelle mode for jEdit.

wenzelm [Sun, 07 Oct 2007 13:52:16 +0200] rev 24890

tuned generated comment;

wenzelm [Sun, 07 Oct 2007 13:48:06 +0200] rev 24889

tuned;

wenzelm [Sun, 07 Oct 2007 13:41:31 +0200] rev 24888

Basic Isabelle mode for jEdit -- http://www.jedit.org/

wenzelm [Sun, 07 Oct 2007 13:32:17 +0200] rev 24887

isabelle mode for jEdit;

isabelle