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.
recovered document from 9bfb6978eb80;
authorwenzelm
Mon, 30 Oct 2017 20:26:19 +0100
changeset 66950 1a5e90026391
parent 66949 6c5e4ac0398b
child 66951 dd4710b91277
recovered document from 9bfb6978eb80;
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- a/src/HOL/ROOT	Mon Oct 30 20:12:10 2017 +0100
+++ b/src/HOL/ROOT	Mon Oct 30 20:26:19 2017 +0100
@@ -962,7 +962,10 @@
     "HOL-IMP"
   theories
     HoareEx
-  document_files "root.tex"
+  document_files
+    "isaverbatimwrite.sty"
+    "root.tex"
+    "root.bib"
 
 session "HOLCF-ex" in "HOLCF/ex" = "HOLCF-Library" +
   description {*
isabelle