[console_scripts]
isabelle-rpc-host = Isabelle_RPC_Host.launcher:main
