isabelle: Changelog

wenzelm [Fri, 03 Oct 2008 17:07:39 +0200] rev 28478

simplified thread creation via SimpleThread; managing_thread: option type (fork of inactive thread assumes threads are available in the first place);

wenzelm [Fri, 03 Oct 2008 16:37:09 +0200] rev 28477

version of sledgehammer using threads instead of processes, misc cleanup; (by Fabian Immler);

wenzelm [Fri, 03 Oct 2008 15:20:33 +0200] rev 28476

removed old/unused setup of raw ATP oracles;

wenzelm [Fri, 03 Oct 2008 14:07:41 +0200] rev 28475

tuned;

wenzelm [Fri, 03 Oct 2008 14:06:19 +0200] rev 28474

Vampire wrapper script for remote SystemOnTPTP service (by Fabian Immler);

wenzelm [Fri, 03 Oct 2008 13:21:01 +0200] rev 28473

added PROOFGENERAL_EMACS, with attempt to find Carbon Emacs;

wenzelm [Fri, 03 Oct 2008 00:21:48 +0200] rev 28472

tuned tracing;

wenzelm [Fri, 03 Oct 2008 00:12:13 +0200] rev 28471

slower heartbeat;

isabelle