]> matita.cs.unibo.it Git - helm.git/history - helm/scripts/init.d/helm-uwobo_mowgli
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / scripts / init.d / helm-uwobo_mowgli
2003-04-08 Stefano Zacchirolikill instances of uwobo_forever.sh on stop
2003-04-08 Stefano Zacchiroli- added support for UWOBO respawner
2003-03-18 Stefano Zacchiroliadded 2 seconds delay before loading stylesheets
2003-01-15 Stefano Zacchiroliadded loading of stylesheets on start/restart
2003-01-15 Stefano Zacchirolisnapshot