changeset 68607 | 67bb59e49834 |
parent 68569 | c64319959bab |
child 68617 | 75129a73aca3 |
--- a/src/HOL/ROOT Mon Jul 09 21:55:40 2018 +0100 +++ b/src/HOL/ROOT Tue Jul 10 09:38:35 2018 +0200 @@ -58,7 +58,7 @@ document_files "root.bib" "root.tex" session "HOL-Analysis" (main timing) in Analysis = HOL + - options [document_tags = "%unimportant", + options [document_tags = "theorem%important,corollary%important,proposition%important,%unimportant", document_variants = "document:manual=-proof,-ML,-unimportant"] sessions "HOL-Library"