changeset 62363 | 7b5468422352 |
parent 62354 | fdd6989cc8a0 |
child 62640 | e36cbe677c17 |
--- a/src/Doc/ROOT Fri Feb 19 14:50:12 2016 +0100 +++ b/src/Doc/ROOT Fri Feb 19 15:01:38 2016 +0100 @@ -125,7 +125,7 @@ "getting.tex" "root.tex" -session Implementation (doc) in "Implementation" = "HOL-Proofs" + +session Implementation (doc) in "Implementation" = "HOL" + options [document_variants = "implementation", quick_and_dirty] theories Eq