author | wenzelm |
Mon, 30 Oct 2017 20:26:19 +0100 | |
changeset 66950 | 1a5e90026391 |
parent 66949 | 6c5e4ac0398b |
child 66951 | dd4710b91277 |
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 {*