isabelle: Changelog

wenzelm [Wed, 28 Feb 2007 22:05:43 +0100] rev 22378

tuned;

wenzelm [Wed, 28 Feb 2007 22:05:43 +0100] rev 22377

tuned ML setup;

wenzelm [Wed, 28 Feb 2007 22:05:41 +0100] rev 22376

added @{const_name}, @{const_syntax};

krauss [Wed, 28 Feb 2007 16:35:00 +0100] rev 22375

more cleanup

aspinall [Wed, 28 Feb 2007 14:46:21 +0100] rev 22374

Add closeblock/openblock structure to proof-block commands

paulson [Wed, 28 Feb 2007 13:33:10 +0100] rev 22373

Updated success string for Vampire. eprover no longer sought in the PROVER directory. eprover now gets tstp input. Streamlined the code a bit.

paulson [Wed, 28 Feb 2007 12:51:46 +0100] rev 22372

Now outputs metis calls

krauss [Wed, 28 Feb 2007 11:12:12 +0100] rev 22371

added headers

krauss [Wed, 28 Feb 2007 10:36:10 +0100] rev 22370

cleanup, fixing sml/nj related problems

wenzelm [Wed, 28 Feb 2007 00:22:26 +0100] rev 22369

gensym: removed bits of dead code;

isabelle