matita.cs.unibo.it Git - helm.git/history - helm/scripts/init.d/etc_default_helm

]> matita.cs.unibo.it Git - helm.git/history - helm/scripts/init.d/etc_default_helm_mowgli

2004-02-16	Claudio Sacerdoti...	- Uwobo ported to Helm_registry	blob \| commitdiff \| raw
2004-02-16	Claudio Sacerdoti...	Cached moved to /tmp/helm/cache.	blob \| commitdiff \| raw \| diff to current
2004-01-19	Claudio Sacerdoti...	NuPRL stuff moved.	blob \| commitdiff \| raw \| diff to current
2004-01-19	Claudio Sacerdoti...	The searchengine now requires the mathql_db_map.txt.	blob \| commitdiff \| raw \| diff to current
2003-03-18	Stefano Zacchiroli	added support for NuPRL stylesheets	blob \| commitdiff \| raw \| diff to current
2003-01-15	Stefano Zacchiroli	snapshot	blob \| commitdiff \| raw \| diff to current
2002-10-31	Claudio Sacerdoti...	New version of the library added.	blob \| commitdiff \| raw \| diff to current

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