isabelle: Changelog

blanchet [Thu, 27 Sep 2012 17:00:54 +0200] rev 49618

lower the defaults for the number of bits, based on an example by Lukas Bulwahn

blanchet [Thu, 27 Sep 2012 17:00:54 +0200] rev 49617

modernized examples

nipkow [Thu, 27 Sep 2012 12:08:38 +0200] rev 49616

merged

nipkow [Thu, 27 Sep 2012 12:07:50 +0200] rev 49615

tuned

wenzelm [Thu, 27 Sep 2012 19:34:31 +0200] rev 49614

operations to turn markup into XML; tuned;

wenzelm [Thu, 27 Sep 2012 15:55:38 +0200] rev 49613

removed obsolete org.w3c.dom operations;

wenzelm [Thu, 27 Sep 2012 15:38:28 +0200] rev 49612

eliminated obsolete HTML/CSS functionality;

wenzelm [Thu, 27 Sep 2012 15:09:32 +0200] rev 49611

removed obsolete Output1 dockable;

wenzelm [Thu, 27 Sep 2012 15:04:26 +0200] rev 49610

physical File.eq in conformance to Isabelle/ML;

wenzelm [Thu, 27 Sep 2012 14:52:50 +0200] rev 49609

tuned proofs;

isabelle