]> matita.cs.unibo.it Git - helm.git/history - helm/scripts/template.rc
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
made executable again
[helm.git] / helm / scripts / template.rc
2004-02-18 Claudio Sacerdoti... Removed stuff no longer in use. commit | commitdiff
2004-02-17 Claudio Sacerdoti... Other stuff no longer used removed. commit | commitdiff
2004-02-17 Claudio Sacerdoti... Several no longer used variables removed. commit | commitdiff
2004-02-17 Claudio Sacerdoti... searchEngine ported to Helm_registry. commit | commitdiff
2004-02-16 Claudio Sacerdoti... More daemons ported to Helm_registry. commit | commitdiff
2004-02-16 Claudio Sacerdoti... proofChecker ported to Helm_registry commit | commitdiff
2004-02-16 Claudio Sacerdoti... - Uwobo ported to Helm_registry commit | commitdiff
2004-01-20 Claudio Sacerdoti... /projects/helm/log moved to /var/log/mowgli commit | commitdiff
2004-01-19 Claudio Sacerdoti... Scripts simplified (since now we have only one cluster... commit | commitdiff
2004-01-19 Claudio Sacerdoti... Only V7_mowgli left. commit | commitdiff
2004-01-19 Claudio Sacerdoti... Several daemons moved into /projects/helm/daemons. commit | commitdiff
2003-05-15 Claudio Sacerdoti... The semantics of the UWOBO_LOG variable has changed... commit | commitdiff
2002-11-22 Stefano Zacchiroli- added var SEARCH_ENGINE_PORT commit | commitdiff
2002-11-20 Stefano Zacchiroliadded env var DRAW_GRAPH_DIR commit | commitdiff
2002-10-31 Claudio Sacerdoti... New version of the library added. commit | commitdiff
2002-10-25 Claudio Sacerdoti... proof-checker ported to the mowgli version commit | commitdiff
2002-10-08 Claudio Sacerdoti... URI_SET_QUEUE_PORT and DRAW_GRAPH_PORT added commit | commitdiff
2002-10-07 Claudio Sacerdoti... - New environment variables set. commit | commitdiff
2002-10-07 Claudio Sacerdoti... Initial revision commit | commitdiff
Unnamed repository; edit this file 'description' to name the repository.