isabelle: Changelog

wenzelm [Sun, 12 Jun 2011 16:19:29 +0200] rev 43368

check source dependencies only if jedit_build component is available;

wenzelm [Sat, 11 Jun 2011 16:05:17 +0200] rev 43367

cover method "deepen" concisely;

wenzelm [Sat, 11 Jun 2011 15:36:46 +0200] rev 43366

moved/updated single-step tactics;

wenzelm [Sat, 11 Jun 2011 15:03:31 +0200] rev 43365

tuned sections;

wenzelm [Sat, 11 Jun 2011 14:27:23 +0200] rev 43364

reverted 5fcd0ca1f582 -- isatest provides its own libgmp3 via LD_LIBRARY_PATH, which are also required for swipl;

haftmann [Sat, 11 Jun 2011 07:50:28 +0200] rev 43363

tuned comment

blanchet [Fri, 10 Jun 2011 17:52:09 +0200] rev 43362

name tuning

blanchet [Fri, 10 Jun 2011 17:52:09 +0200] rev 43361

revived the lightweight "poly_tags_{query,bang}" type encodings by fixing their soundness bug

blanchet [Fri, 10 Jun 2011 17:52:09 +0200] rev 43360

don't trim proofs in debug mode

blanchet [Fri, 10 Jun 2011 17:52:09 +0200] rev 43359

tuning

isabelle