changeset 25703 | 832073e402ae |
parent 24612 | d1b315bdb8d7 |
child 25840 | 8a84f00f7139 |
--- a/src/Pure/Isar/session.ML Tue Dec 18 22:21:40 2007 +0100 +++ b/src/Pure/Isar/session.ML Tue Dec 18 22:21:41 2007 +0100 @@ -84,7 +84,7 @@ (init reset parent name; Present.init build info doc doc_graph doc_versions (path ()) name (dumping dump) (get_rpath rpath) verbose (map ThyInfo.theory (ThyInfo.names ())); - Secure.use_noncritical root; + use root; finish ())) |> setmp_noncritical Proofterm.proofs level |> setmp_noncritical print_mode (modes @ print_mode_value ())