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