]> matita.cs.unibo.it Git - helm.git/history - helm/configuration
shanpshot
[helm.git] / helm / configuration /
2001-11-12 Stefano ZacchiroliAdded ".db" suffix to urls_of_uris default value.
2001-02-08 Luca Padovaniadded style_dir in configuration file
2001-02-06 Luca Padovaniadded processor_url to configuration file
2001-02-06 Luca Padovanibug: HELM_VAR_DIR ==> HELM_LIBRARY_DIR
2001-02-02 Luca Padovani*** empty log message ***
2001-02-02 Luca Padovani*** empty log message ***
2001-02-02 Luca Padovani*** empty log message ***
2001-01-29 Luca Padovanisome improvements
2001-01-19 Luca Padovani*** empty log message ***
2001-01-19 Luca Padovani*** empty log message ***
2001-01-18 Luca PadovaniAdded Files:
2001-01-17 Luca Padovaniautoconfiguration improved (?)
2001-01-15 Luca Padovaniadded LICENSE
2001-01-08 Luca Padovani*** empty log message ***
2000-12-29 Claudio Sacerdoti... now servers.txt and urls_or_uris.db are 666
2000-12-28 Claudio Sacerdoti... syntax error
2000-12-28 Claudio Sacerdoti... Provides and Requires now fixed
2000-12-28 Claudio Sacerdoti... english syntax error fixed
2000-12-28 Claudio Sacerdoti... More tags
2000-12-28 Claudio Sacerdoti... ...
2000-12-28 Claudio Sacerdoti... configure.cache.* corrected into config.cache.*
2000-12-28 Claudio Sacerdoti... ...
2000-12-28 Claudio Sacerdoti... Default configure cache for creating packages created
2000-12-28 Claudio Sacerdoti... First changes to make the rpm package
2000-12-28 Claudio Sacerdoti... ...
2000-12-28 Claudio Sacerdoti... 1777 (1 = sticky bit) for the library dir
2000-12-28 Claudio Sacerdoti... ...
2000-12-28 Claudio Sacerdoti... bug fixed
2000-12-28 Claudio Sacerdoti... More cleaning in distclean
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... distclean target 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... 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