]> matita.cs.unibo.it Git - helm.git/history - helm/configuration
gtkmathview-config used
[helm.git] / helm / configuration /
2000-12-21 Claudio Sacerdoti... gtkmathview-config used
2000-12-21 Claudio Sacerdoti... bug fixed
2000-12-21 Claudio Sacerdoti... configuration.xml autoconfigured
2000-12-21 Claudio Sacerdoti... helm-math-engine-configuration.xml autoconfigured
2000-12-21 Claudio Sacerdoti... helm-math-engine-configuration.xml autoconfigured
2000-12-21 Claudio Sacerdoti... configuration.pl.in configured
2000-12-21 Claudio Sacerdoti... .cvsignore added
2000-12-21 Claudio Sacerdoti... Autoconf used
2000-12-21 Claudio Sacerdoti... All files previously in local/$i/helm moved in $i
2000-12-21 Claudio Sacerdoti... cvsignore added
2000-12-21 Claudio Sacerdoti... Using autoconf
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