Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
moved section "Document preparation" to front;
authorwenzelm
Thu, 13 Nov 2008 21:33:56 +0100
changeset 28751 aad88e7344f0
parent 28750 1ff7fff6a170
child 28752 754f10154d73
moved section "Document preparation" to front;
doc-src/IsarRef/Thy/ROOT.ML file | annotate | diff | comparison | revisions
doc-src/IsarRef/isar-ref.tex file | annotate | diff | comparison | revisions 
--- a/doc-src/IsarRef/Thy/ROOT.ML	Thu Nov 13 21:33:15 2008 +0100
+++ b/doc-src/IsarRef/Thy/ROOT.ML	Thu Nov 13 21:33:56 2008 +0100
@@ -6,9 +6,9 @@
 
 use_thy "Introduction";
 use_thy "Outer_Syntax";
+use_thy "Document_Preparation";
 use_thy "Spec";
 use_thy "Proof";
-use_thy "Document_Preparation";
 use_thy "Misc";
 use_thy "Generic";
 use_thy "HOL_Specific";
--- a/doc-src/IsarRef/isar-ref.tex	Thu Nov 13 21:33:15 2008 +0100
+++ b/doc-src/IsarRef/isar-ref.tex	Thu Nov 13 21:33:56 2008 +0100
@@ -76,9 +76,9 @@
 
 \input{Thy/document/Introduction.tex}
 \input{Thy/document/Outer_Syntax.tex}
+\input{Thy/document/Document_Preparation.tex}
 \input{Thy/document/Spec.tex}
 \input{Thy/document/Proof.tex}
-\input{Thy/document/Document_Preparation.tex}
 \input{Thy/document/Misc.tex}
 \input{Thy/document/Generic.tex}
 \input{Thy/document/HOL_Specific.tex}
isabelle