author | wenzelm |
Wed, 03 Apr 2013 21:30:32 +0200 | |
changeset 51605 | eca8acb42e4a |
parent 51085 | d90218288d51 |
child 51949 | f6858bb224c9 |
permissions | -rw-r--r-- |
(* Load this theory to start the WWW_Find server on port defined by environment variable "SCGIPORT". Used by the isabelle wwwfind tool. *) theory Start_WWW_Find imports WWW_Find begin ML {* YXML_Find_Theorems.init (); val port = OS.Process.getEnv "SCGIPORT" |> the |> Int.fromString |> the; ScgiServer.server' 10 "/" port; *} end