isabelle: Changelog

huffman [Tue, 24 Sep 2013 15:03:49 -0700] rev 53859

replace lemma with more general simp rule

blanchet [Tue, 24 Sep 2013 23:51:32 +0200] rev 53858

generalized tactics

blanchet [Tue, 24 Sep 2013 23:10:16 +0200] rev 53857

renamed generated property

blanchet [Tue, 24 Sep 2013 22:21:51 +0200] rev 53856

commented out debugging output in "primcorec"

wenzelm [Tue, 24 Sep 2013 21:27:45 +0200] rev 53855

merged

wenzelm [Tue, 24 Sep 2013 21:23:40 +0200] rev 53854

tuned proofs;

wenzelm [Tue, 24 Sep 2013 20:41:28 +0200] rev 53853

more quasi-generic PIDE modules (NB: Swing/JFX needs to be kept separate from non-GUI material);

wenzelm [Tue, 24 Sep 2013 20:24:14 +0200] rev 53852

NEWS;

wenzelm [Tue, 24 Sep 2013 19:57:44 +0200] rev 53851

clarified font;

wenzelm [Tue, 24 Sep 2013 19:53:05 +0200] rev 53850

simplified default L&F -- Nimbus should be always available and GTK+ is not fully working yet;

isabelle