src/Tools/WWW_Find/Start_WWW_Find.thy
changeset 51949 f6858bb224c9
parent 51085 d90218288d51
child 51950 13fb5e4f2893
     1.1 --- a/src/Tools/WWW_Find/Start_WWW_Find.thy	Sun May 12 19:56:30 2013 +0200
     1.2 +++ b/src/Tools/WWW_Find/Start_WWW_Find.thy	Sun May 12 20:25:45 2013 +0200
     1.3 @@ -5,6 +5,7 @@
     1.4  theory Start_WWW_Find imports WWW_Find begin
     1.5  
     1.6  ML {*
     1.7 +  Options.default_put_bool "show_question_marks" false;
     1.8    YXML_Find_Theorems.init ();
     1.9    val port = OS.Process.getEnv "SCGIPORT" |> the |> Int.fromString |> the;
    1.10    ScgiServer.server' 10 "/" port;