isabelle: Changelog

wenzelm [Fri, 27 Jul 2012 16:35:02 +0200] rev 48557

merged

huffman [Fri, 27 Jul 2012 15:42:39 +0200] rev 48556

replace abel_cancel simprocs with functionally equivalent, but simpler and faster ones

blanchet [Fri, 27 Jul 2012 14:56:37 +0200] rev 48555

nicer Nitpick subscript output in jEdit

wenzelm [Fri, 27 Jul 2012 16:33:32 +0200] rev 48554

no_check for @{setting} antiquotations -- empty values are treated as undefined on Cygwin;

wenzelm [Fri, 27 Jul 2012 16:27:26 +0200] rev 48553

proper shell variable;

wenzelm [Fri, 27 Jul 2012 15:37:48 +0200] rev 48552

actually check return code;

wenzelm [Fri, 27 Jul 2012 15:37:28 +0200] rev 48551

include doc-src as component, and thus its sessions defined in ROOT;

wenzelm [Fri, 27 Jul 2012 14:22:32 +0200] rev 48550

tuned signature;

wenzelm [Fri, 27 Jul 2012 14:15:04 +0200] rev 48549

delete other log file;

wenzelm [Fri, 27 Jul 2012 14:09:59 +0200] rev 48548

simplified Path vs. JVM File operations;

isabelle