changeset 51949 | f6858bb224c9 |
parent 43074 | 8b566f0d226c |
child 52855 | fb1f026c48ff |
--- a/src/Tools/WWW_Find/find_theorems.ML Sun May 12 19:56:30 2013 +0200 +++ b/src/Tools/WWW_Find/find_theorems.ML Sun May 12 20:25:45 2013 +0200 @@ -55,7 +55,6 @@ end; in -val () = Printer.show_question_marks_default := false; val () = ScgiServer.register ("find_theorems", SOME Mime.html, ScgiServer.simple_handler find_theorems); end;