]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/scripts/init.d/etc_default_helm_mowgli
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / scripts / init.d / etc_default_helm_mowgli
index af0ac44a57e82be8cac5480e06f7b0f75c982a21..08bf08766f39994c2640757865b3712efb19a8cc 100644 (file)
@@ -7,6 +7,8 @@ DAEMONS="
   helm-proof-checker_mowgli
   helm-uri-set-queue_mowgli
   helm-draw-graph_mowgli
+  helm-search-engine_mowgli
+  helm-uwobo_mowgli
 "
 
   # script used to define a good(TM) environment for daemons
@@ -26,4 +28,6 @@ HTTP_GETTER_CACHE_DIRS="
   # user which will own the daemons and the cache directories
 OWNER="sacerdot:helm"
 
+NUPRL_UWOBO_PANEL_CONF="/projects/helm/NuPRL/uwobo-panel/control.html"
+
 # vim: set ft=sh: