]> matita.cs.unibo.it Git - helm.git/history - helm/configuration/configure.in
ocaml 3.09 transition
[helm.git] / helm / configuration / configure.in
2001-11-12 Stefano ZacchiroliAdded ".db" suffix to urls_of_uris default value.
2001-02-02 Luca Padovani*** empty log message ***
2001-01-29 Luca Padovanisome improvements
2001-01-19 Luca Padovani*** empty log message ***
2001-01-17 Luca Padovaniautoconfiguration improved (?)
2000-12-28 Claudio Sacerdoti... First changes to make the rpm package
2000-12-28 Claudio Sacerdoti... ...
2000-12-28 Claudio Sacerdoti... ...
2000-12-28 Claudio Sacerdoti... bug fixed
2000-12-22 Claudio Sacerdoti... ...
2000-12-22 Claudio Sacerdoti... ...
2000-12-22 Claudio Sacerdoti... ...
2000-12-22 Claudio Sacerdoti... install file removed
2000-12-22 Claudio Sacerdoti... cache usage fixed
2000-12-22 Claudio Sacerdoti... ...
2000-12-22 Claudio Sacerdoti... urls_of_uris.db is now empty
2000-12-22 Claudio Sacerdoti... library files added
2000-12-22 Claudio Sacerdoti... ...
2000-12-22 Claudio Sacerdoti... Some advancements
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... configuration.pl.in configured
2000-12-21 Claudio Sacerdoti... Using autoconf