changeset 71940 | 026de3424c39 |
parent 71893 | a27747c85700 |
child 71962 | 23398ed3aecf |
--- a/src/Doc/ROOT Wed Jun 17 19:46:50 2020 +0200 +++ b/src/Doc/ROOT Wed Jun 17 20:42:52 2020 +0200 @@ -378,7 +378,7 @@ "root.tex" session System (doc) in "System" = Pure + - options [document_variants = "system", thy_output_source, pide_session] + options [document_variants = "system", thy_output_source] sessions "HOL-Library" theories