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.
some attempts to synchronize ROOT/files and document/build;
authorwenzelm
Wed, 12 Sep 2012 11:28:34 +0200
changeset 49318 612a04e7c853
parent 49317 5eff42e69edb
child 49319 f4b91a3a5f0f
some attempts to synchronize ROOT/files and document/build;
src/Doc/IsarRef/document/build file | annotate | diff | comparison | revisions
src/Doc/ROOT file | annotate | diff | comparison | revisions 
--- 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" .
 
--- 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"
isabelle