wenzelm [Fri, 27 Apr 2012 20:10:09 +0200] rev 48672
multi-platform build script and component settings;
wenzelm [Fri, 27 Apr 2012 19:54:05 +0200] rev 48671
print errors on stderr;
wenzelm [Fri, 27 Apr 2012 19:50:32 +0200] rev 48670
general exec_process -- nothing specific to Cygwin;
wenzelm [Fri, 27 Apr 2012 19:31:03 +0200] rev 48669
more direct exec with synchronous exit code;
wenzelm [Fri, 27 Apr 2012 15:59:50 +0200] rev 48668
some updates on classic README, reduce the impression that there is much to install manually;
huffman [Fri, 27 Apr 2012 17:14:13 +0200] rev 48667
allow transfer tactic to leave extra unsolved subgoals if transfer rules are missing
kuncar [Fri, 27 Apr 2012 17:06:36 +0200] rev 48666
documentation for the Lifting package in Isar-ref
blanchet [Fri, 27 Apr 2012 15:24:37 +0200] rev 48665
thread theory cleanly and use "smt" method rather than Sledgehammer for Z3 (because of obscure debilitating bug)
blanchet [Fri, 27 Apr 2012 15:24:37 +0200] rev 48664
move LEO-II closer to the top, for testing
blanchet [Fri, 27 Apr 2012 15:24:37 +0200] rev 48663
get rid of old CASC setup and move the arithmetic part to a new theory