isabelle: Changelog

wenzelm [Sat, 17 Sep 2011 17:05:31 +0200] rev 44952

removed obsolete patches for PG 4.1;

wenzelm [Sat, 17 Sep 2011 16:53:01 +0200] rev 44951

specific bundle for x86_64-linux, which is especially important for JRE due to its extra library dependencies;

wenzelm [Sat, 17 Sep 2011 16:29:18 +0200] rev 44950

added "isabelle scalac" convenience;

wenzelm [Sat, 17 Sep 2011 16:19:40 +0200] rev 44949

Symbol.explode as in ML;

wenzelm [Sat, 17 Sep 2011 16:00:54 +0200] rev 44948

ignore OUTPUT to avoid spam -- jEdit menu "Troubleshooting / Activity Log" should be sufficient;

haftmann [Sat, 17 Sep 2011 15:08:55 +0200] rev 44947

dropped unused argument – avoids problem with SML/NJ

haftmann [Sat, 17 Sep 2011 00:40:27 +0200] rev 44946

tuned spacing

haftmann [Sat, 17 Sep 2011 00:37:21 +0200] rev 44945

tuned

nipkow [Sat, 17 Sep 2011 04:41:44 +0200] rev 44944

tuned post fixpoint setup

nipkow [Sat, 17 Sep 2011 03:37:14 +0200] rev 44943

merged

isabelle