matita.cs.unibo.it Git - helm.git/history - helm/scripts/template.cshrc

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

2002-11-22	Stefano Zacchiroli	- added var SEARCH_ENGINE_PORT	blob \| commitdiff \| raw
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.