# HG changeset patch
# User wenzelm
# Date 1347442114 -7200
# Node ID 612a04e7c853a47a3eb1a553207470c81d4f59bf
# Parent  5eff42e69edb76a72c97aaecb062c9f4243a4da4
some attempts to synchronize ROOT/files and document/build;

diff -r 5eff42e69edb -r 612a04e7c853 src/Doc/IsarRef/document/build
--- a/src/Doc/IsarRef/document/build	Wed Sep 12 11:14:44 2012 +0200
+++ b/src/Doc/IsarRef/document/build	Wed Sep 12 11:28:34 2012 +0200
@@ -11,7 +11,6 @@
 cp "$ISABELLE_HOME/src/Doc/extra.sty" .
 cp "$ISABELLE_HOME/src/Doc/isar.sty" .
 cp "$ISABELLE_HOME/src/Doc/ttbox.sty" .
-cp "$ISABELLE_HOME/src/Doc/isar.sty" .
 cp "$ISABELLE_HOME/src/Doc/underscore.sty" .
 cp "$ISABELLE_HOME/src/Doc/manual.bib" .
 
diff -r 5eff42e69edb -r 612a04e7c853 src/Doc/ROOT
--- a/src/Doc/ROOT	Wed Sep 12 11:14:44 2012 +0200
+++ b/src/Doc/ROOT	Wed Sep 12 11:28:34 2012 +0200
@@ -5,6 +5,11 @@
   files
     "../prepare_document"
     "../pdfsetup.sty"
+    "../iman.sty"
+    "../extra.sty"
+    "../isar.sty"
+    "../proof.sty"
+    "../manual.bib"
     "document/build"
     "document/root.tex"
     "document/style.sty"
@@ -23,6 +28,11 @@
   files
     "../prepare_document"
     "../pdfsetup.sty"
+    "../iman.sty"
+    "../extra.sty"
+    "../isar.sty"
+    "../proof.sty"
+    "../manual.bib"
     "document/adapt.tex"
     "document/architecture.tex"
     "document/build"
@@ -80,8 +90,8 @@
     "../extra.sty"
     "../isar.sty"
     "../proof.sty"
+    "../ttbox.sty"
     "../underscore.sty"
-    "../ttbox.sty"
     "../manual.bib"
     "document/build"
     "document/root.tex"
@@ -110,9 +120,9 @@
     "../pdfsetup.sty"
     "../iman.sty"
     "../extra.sty"
+    "../isar.sty"
     "../ttbox.sty"
-    "../proof.sty"
-    "../isar.sty"
+    "../underscore.sty"
     "../manual.bib"
     "document/build"
     "document/isar-vm.eps"
@@ -285,8 +295,8 @@
     "../pdfsetup.sty"
     "../iman.sty"
     "../extra.sty"
+    "../isar.sty"
     "../ttbox.sty"
-    "../isar.sty"
     "../underscore.sty"
     "../manual.bib"
     "document/browser_screenshot.eps"