matita.cs.unibo.it Git - helm.git/history

]> matita.cs.unibo.it Git - helm.git/history - helm/scripts/template.rc

2004-01-20	Claudio Sacerdoti...	/projects/helm/log moved to /var/log/mowgli	blob \| commitdiff \| raw
2004-01-19	Claudio Sacerdoti...	Scripts simplified (since now we have only one cluster...	blob \| commitdiff \| raw \| diff to current
2004-01-19	Claudio Sacerdoti...	Only V7_mowgli left.	blob \| commitdiff \| raw \| diff to current
2004-01-19	Claudio Sacerdoti...	Several daemons moved into /projects/helm/daemons.	blob \| commitdiff \| raw \| diff to current
2003-05-15	Claudio Sacerdoti...	The semantics of the UWOBO_LOG variable has changed...	blob \| commitdiff \| raw \| diff to current
2002-11-22	Stefano Zacchiroli	- added var SEARCH_ENGINE_PORT	blob \| commitdiff \| raw \| diff to current
2002-11-20	Stefano Zacchiroli	added env var DRAW_GRAPH_DIR	blob \| commitdiff \| raw \| diff to current
2002-10-31	Claudio Sacerdoti...	New version of the library added.	blob \| commitdiff \| raw \| diff to current
2002-10-25	Claudio Sacerdoti...	proof-checker ported to the mowgli version	blob \| commitdiff \| raw \| diff to current
2002-10-08	Claudio Sacerdoti...	URI_SET_QUEUE_PORT and DRAW_GRAPH_PORT added	blob \| commitdiff \| raw \| diff to current
2002-10-07	Claudio Sacerdoti...	- New environment variables set.	blob \| commitdiff \| raw \| diff to current
2002-10-07	Claudio Sacerdoti...	Initial revision	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.