isabelle: Changelog

blanchet [Wed, 20 Nov 2013 18:58:00 +0100] rev 54538

factor 'List_Prefix' out of 'Sublist' and move to 'Main' (needed for codatatypes)

blanchet [Wed, 20 Nov 2013 18:32:25 +0100] rev 54537

fixed LaTeX missing }

blanchet [Wed, 20 Nov 2013 18:09:23 +0100] rev 54536

compile

blanchet [Wed, 20 Nov 2013 18:08:02 +0100] rev 54535

support Negated_Conjecture as a TPTP role as well (e.g. for SMT proofs)

blanchet [Wed, 20 Nov 2013 18:08:01 +0100] rev 54534

tuning

wenzelm [Wed, 20 Nov 2013 17:00:49 +0100] rev 54533

NEWS;

wenzelm [Wed, 20 Nov 2013 16:43:09 +0100] rev 54532

merged

wenzelm [Wed, 20 Nov 2013 16:15:54 +0100] rev 54531

restrict node_required status and Theories panel to actual theories;

wenzelm [Wed, 20 Nov 2013 15:53:59 +0100] rev 54530

ranges of thy_load commands count as visible within perspective; convert ranges wrt. snapshot -- relevant for outdated situation;

wenzelm [Wed, 20 Nov 2013 15:00:25 +0100] rev 54529

tuned;

isabelle