Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Doc/ROOT
changeset 49318 612a04e7c853
parent 48985 5386df44a037
child 50071 959548c3b947 
--- 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