]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 22768ba) | patch
- changed invoked daemons for proof checker, draw graph and uri set
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 20 Nov 2002 16:34:22 +0000 (16:34 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 20 Nov 2002 16:34:22 +0000 (16:34 +0000)
commit1777211e04075fd37bcee56b79cfbedcb89d57eb
treeb4e50d56f4c3ff361421cbac992643487309fdfbtree | snapshot
parent22768ba8f9d3b90daa0e1711b8703235d2733eb4commit | diff
- changed invoked daemons for proof checker, draw graph and uri set
  queue to ocaml ones
- bugfix: use different pid files for old a new libraries daemons
helm/scripts/init.d/helm-draw-graph diff | blob | history
helm/scripts/init.d/helm-draw-graph_mowgli diff | blob | history
helm/scripts/init.d/helm-proof-checker diff | blob | history
helm/scripts/init.d/helm-proof-checker_mowgli diff | blob | history
helm/scripts/init.d/helm-uri-set-queue diff | blob | history
helm/scripts/init.d/helm-uri-set-queue_mowgli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.