]> matita.cs.unibo.it Git - helm.git/history - helm/configuration
Nothing important
[helm.git] / helm / configuration /
2000-12-19 Luca PadovaniModified Files:
2000-12-19 Luca PadovaniAdded Files (these are configuration files for the...
2000-11-24 Claudio Sacerdoti... http_getter reimplemented from scratch
2000-11-20 Luca Padovanilocal/etc/helm/configuration.xml: changed xmlfile ...
2000-11-17 Claudio Sacerdoti... install improved
2000-11-17 Claudio Sacerdoti... Nothing important
2000-11-17 Claudio Sacerdoti... Nothing important.
2000-11-16 Claudio Sacerdoti... Some modularity added
2000-11-10 Claudio Sacerdoti... Many bug fixed
2000-10-31 Claudio Sacerdoti... configuration file changed
2000-10-31 Claudio Sacerdoti... install script added
2000-10-31 Claudio Sacerdoti... Initial revision