isabelle: Changelog

wenzelm [Fri, 03 Jul 2009 00:02:07 +0200] rev 31919

Generic Isabelle application wrapper.

wenzelm [Fri, 03 Jul 2009 00:00:03 +0200] rev 31918

observe SCALA_HOME, if available; no default classpath for scala-library.jar;

wenzelm [Thu, 02 Jul 2009 22:18:02 +0200] rev 31917

merged

wenzelm [Thu, 02 Jul 2009 21:24:32 +0200] rev 31916

recovered subscripts, which were lost in b41d61c768e2 (due to Emacs accident?);

haftmann [Thu, 02 Jul 2009 18:32:28 +0200] rev 31915

merged

haftmann [Thu, 02 Jul 2009 16:06:12 +0200] rev 31914

instance arities can be simultaneous

haftmann [Thu, 02 Jul 2009 16:00:28 +0200] rev 31913

updated generated files

haftmann [Thu, 02 Jul 2009 16:00:27 +0200] rev 31912

more friendly wrt. PGs interpretation of compound *); added dedicated section on value and quickcheck

paulson [Thu, 02 Jul 2009 14:43:06 +0100] rev 31911

merged

paulson [Thu, 02 Jul 2009 10:49:46 +0100] rev 31910

Deleted some debugging code

isabelle