isabelle: Changelog

haftmann [Sun, 10 Jul 2011 22:11:32 +0200] rev 43754

tuned notation

haftmann [Sun, 10 Jul 2011 21:56:39 +0200] rev 43753

tuned notation

wenzelm [Mon, 11 Jul 2011 17:22:15 +0200] rev 43752

NEWS;

wenzelm [Mon, 11 Jul 2011 17:14:30 +0200] rev 43751

proper InvocationTargetException.getCause for indirect exceptions; capture hard errors to ensure protocol integrity; tuned error messages;

wenzelm [Mon, 11 Jul 2011 17:11:54 +0200] rev 43750

tuned error message;

wenzelm [Mon, 11 Jul 2011 17:10:32 +0200] rev 43749

tuned signature;

wenzelm [Mon, 11 Jul 2011 16:48:02 +0200] rev 43748

JVM method invocation service via Scala layer;

wenzelm [Mon, 11 Jul 2011 15:56:30 +0200] rev 43747

tuned signature;

wenzelm [Mon, 11 Jul 2011 11:13:33 +0200] rev 43746

some support for raw messages, which bypass standard Symbol/YXML decoding; tuned signature;

wenzelm [Mon, 11 Jul 2011 10:27:50 +0200] rev 43745

tuned XML.Cache parameters;

isabelle