changeset 59448 | 149d2bc5ddb6 |
parent 59446 | 4427f04fca57 |
child 60081 | 9fb7b44e3e7e |
--- a/src/Pure/PIDE/session.ML Mon Jan 26 13:44:37 2015 +0100 +++ b/src/Pure/PIDE/session.ML Mon Jan 26 13:48:29 2015 +0100 @@ -52,8 +52,7 @@ val _ = session_finished := false; in Present.init build info info_path (if doc = "false" then "" else doc) - doc_output doc_variants doc_files graph_file (chapter, name) - verbose (map Thy_Info.get_theory (Thy_Info.get_names ())) + doc_output doc_variants doc_files graph_file (chapter, name) verbose end;