src/Tools/WWW_Find/ROOT.ML

-if String.isPrefix "polyml" ml_system
-then 
-  (use "unicode_symbols.ML";
+if ML_System.is_polyml then
+ (use "unicode_symbols.ML";
   use "html_unicode.ML";
   use "mime.ML";
   use "http_status.ML";
   use "http_util.ML";
   use "xhtml.ML";

   use "scgi_server.ML";
   use "echo.ML";
   use "html_templates.ML";
   use "find_theorems.ML";
   use "yxml_find_theorems.ML")
-else ()
+else ();