# HG changeset patch
# User wenzelm
# Date 1346163275 -7200
# Node ID 6f7be3f5da94df9ae0788c7a8de52d78dc75cb5a
# Parent  5e83c70266cffdb0b4565dfc5981e595002925e5
tuned;

diff -r 5e83c70266cf -r 6f7be3f5da94 doc-src/ROOT
--- a/doc-src/ROOT	Tue Aug 28 15:07:43 2012 +0200
+++ b/doc-src/ROOT	Tue Aug 28 16:14:35 2012 +0200
@@ -43,6 +43,19 @@
     "document/root.tex"
     "document/style.sty"
 
+session Intro (doc) in "Intro" = Pure +
+  options [document_variants = "intro"]
+  theories
+  files
+    "../pdfsetup.sty"
+    "../iman.sty"
+    "../extra.sty"
+    "../ttbox.sty"
+    "../proof.sty"
+    "../manual.bib"
+    "document/build"
+    "document/root.tex"
+
 session IsarImplementation (doc) in "IsarImplementation" = HOL +
   options [document_variants = "implementation"]
   theories
@@ -69,19 +82,6 @@
     "document/root.tex"
     "document/style.sty"
 
-session Intro (doc) in "Intro" = Pure +
-  options [document_variants = "intro"]
-  theories
-  files
-    "../pdfsetup.sty"
-    "../iman.sty"
-    "../extra.sty"
-    "../ttbox.sty"
-    "../proof.sty"
-    "../manual.bib"
-    "document/build"
-    "document/root.tex"
-
 session IsarRef (doc) in "IsarRef" = HOL +
   options [document_variants = "isar-ref", quick_and_dirty, thy_output_source]
   theories