Mercurial
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
branches
|
files
|
gz
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
+10
+30
+100
+300
+1000
+3000
tip
9 months ago
nipkow [Wed, 15 Aug 2012 15:10:42 +0200] rev 48823
merged
9 months ago
nipkow [Wed, 15 Aug 2012 14:26:42 +0200] rev 48822
fixed proof
src/HOL/Number_Theory/UniqueFactorization.thy
9 months ago
nipkow [Wed, 15 Aug 2012 14:00:12 +0200] rev 48821
abstracted lemmas
src/HOL/Big_Operators.thy
9 months ago
nipkow [Wed, 15 Aug 2012 12:56:54 +0200] rev 48820
Backed out changeset 6cf7a9d8bbaf
src/HOL/Big_Operators.thy
9 months ago
nipkow [Wed, 15 Aug 2012 12:18:30 +0200] rev 48819
abstracted lemmas
src/HOL/Big_Operators.thy
9 months ago
webertj [Wed, 15 Aug 2012 13:43:49 +0200] rev 48818
merged
Admin/download-components
9 months ago
webertj [Wed, 15 Aug 2012 13:43:42 +0200] rev 48817
Turned into Admin tool download_components.
Admin/download-components
Admin/lib/Tools/download_components
9 months ago
wenzelm [Wed, 15 Aug 2012 13:07:24 +0200] rev 48816
tuned;
doc-src/IsarRef/Thy/Inner_Syntax.thy
doc-src/IsarRef/Thy/document/Inner_Syntax.tex
9 months ago
wenzelm [Wed, 15 Aug 2012 12:54:25 +0200] rev 48815
tuned;
doc-src/System/Thy/Misc.thy
doc-src/System/Thy/Scala.thy
doc-src/System/Thy/document/Misc.tex
doc-src/System/Thy/document/Scala.tex
9 months ago
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");
doc-src/System/Thy/Interfaces.thy
doc-src/System/Thy/Misc.thy
doc-src/System/Thy/Presentation.thy
doc-src/System/Thy/Sessions.thy
doc-src/System/Thy/document/Interfaces.tex
doc-src/System/Thy/document/Misc.tex
doc-src/System/Thy/document/Presentation.tex
doc-src/System/Thy/document/Sessions.tex
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
+10
+30
+100
+300
+1000
+3000
tip