isabelle: Changelog

nipkow [Wed, 15 Aug 2012 12:56:54 +0200] rev 48820

Backed out changeset 6cf7a9d8bbaf

nipkow [Wed, 15 Aug 2012 12:18:30 +0200] rev 48819

abstracted lemmas

webertj [Wed, 15 Aug 2012 13:43:49 +0200] rev 48818

merged

webertj [Wed, 15 Aug 2012 13:43:42 +0200] rev 48817

Turned into Admin tool download_components.

wenzelm [Wed, 15 Aug 2012 13:07:24 +0200] rev 48816

tuned;

wenzelm [Wed, 15 Aug 2012 12:54:25 +0200] rev 48815

tuned;

wenzelm [Wed, 15 Aug 2012 12:36:38 +0200] rev 48814

some updates of "Presenting theories", using mkroot/build instead of former mkdir/make/usedir (which are still present in "Misc");

wenzelm [Wed, 15 Aug 2012 11:41:27 +0200] rev 48813

tuned;

blanchet [Wed, 15 Aug 2012 11:04:56 +0200] rev 48812

fixed handling of "int" in the wake of its port to the quotient package

blanchet [Wed, 15 Aug 2012 11:04:55 +0200] rev 48811

removed dead code

isabelle