diff -r cb5dbc9a06f9 -r f6858bb224c9 src/Tools/WWW_Find/find_theorems.ML
--- 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;