changeset 71962 | 23398ed3aecf |
parent 71940 | 026de3424c39 |
child 71975 | 2d658beb815b |
--- a/src/Doc/ROOT Fri Jun 19 18:22:03 2020 +0200 +++ b/src/Doc/ROOT Fri Jun 19 18:29:37 2020 +0200 @@ -378,7 +378,7 @@ "root.tex" session System (doc) in "System" = Pure + - options [document_variants = "system", thy_output_source] + options [document_variants = "system", thy_output_source, pide_session] sessions "HOL-Library" theories