isabelle: Changelog

wenzelm [Fri, 27 Apr 2012 20:27:40 +0200] rev 47804

merged

huffman [Fri, 27 Apr 2012 17:14:13 +0200] rev 47803

allow transfer tactic to leave extra unsolved subgoals if transfer rules are missing

kuncar [Fri, 27 Apr 2012 17:06:36 +0200] rev 47802

documentation for the Lifting package in Isar-ref

wenzelm [Fri, 27 Apr 2012 20:25:55 +0200] rev 47801

added darwin targets;

wenzelm [Fri, 27 Apr 2012 20:24:35 +0200] rev 47800

chmod -x;

wenzelm [Fri, 27 Apr 2012 20:10:09 +0200] rev 47799

multi-platform build script and component settings;

wenzelm [Fri, 27 Apr 2012 19:54:05 +0200] rev 47798

print errors on stderr;

wenzelm [Fri, 27 Apr 2012 19:50:32 +0200] rev 47797

general exec_process -- nothing specific to Cygwin;

wenzelm [Fri, 27 Apr 2012 19:31:03 +0200] rev 47796

more direct exec with synchronous exit code;

wenzelm [Fri, 27 Apr 2012 15:59:50 +0200] rev 47795

some updates on classic README, reduce the impression that there is much to install manually;

isabelle