isabelle: Changelog

urbanc [Mon, 08 Oct 2007 07:09:29 +0200] rev 24898

changed VC-Compatible to VC_Compatible

urbanc [Mon, 08 Oct 2007 07:05:54 +0200] rev 24897

changed file name

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;

isabelle