]> matita.cs.unibo.it Git - helm.git/history - helm/configuration
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
- better pretty printing of exceptions (added red color)
[helm.git] / helm / configuration /
2001-11-12 Stefano ZacchiroliAdded ".db" suffix to urls_of_uris default value. tree | commitdiff
2001-02-08 Luca Padovaniadded style_dir in configuration file tree | commitdiff
2001-02-06 Luca Padovaniadded processor_url to configuration file tree | commitdiff
2001-02-06 Luca Padovanibug: HELM_VAR_DIR ==> HELM_LIBRARY_DIR tree | commitdiff
2001-02-02 Luca Padovani*** empty log message *** tree | commitdiff
2001-02-02 Luca Padovani*** empty log message *** tree | commitdiff
2001-02-02 Luca Padovani*** empty log message *** tree | commitdiff
2001-01-29 Luca Padovanisome improvements tree | commitdiff
2001-01-19 Luca Padovani*** empty log message *** tree | commitdiff
2001-01-19 Luca Padovani*** empty log message *** tree | commitdiff
2001-01-18 Luca PadovaniAdded Files: tree | commitdiff
2001-01-17 Luca Padovaniautoconfiguration improved (?) tree | commitdiff
2001-01-15 Luca Padovaniadded LICENSE tree | commitdiff
2001-01-08 Luca Padovani*** empty log message *** tree | commitdiff
2000-12-29 Claudio Sacerdoti... now servers.txt and urls_or_uris.db are 666 tree | commitdiff
2000-12-28 Claudio Sacerdoti... syntax error tree | commitdiff
2000-12-28 Claudio Sacerdoti... Provides and Requires now fixed tree | commitdiff
2000-12-28 Claudio Sacerdoti... english syntax error fixed tree | commitdiff
2000-12-28 Claudio Sacerdoti... More tags tree | commitdiff
2000-12-28 Claudio Sacerdoti... ... tree | commitdiff
2000-12-28 Claudio Sacerdoti... configure.cache.* corrected into config.cache.* tree | commitdiff
2000-12-28 Claudio Sacerdoti... ... tree | commitdiff
2000-12-28 Claudio Sacerdoti... Default configure cache for creating packages created tree | commitdiff
2000-12-28 Claudio Sacerdoti... First changes to make the rpm package tree | commitdiff
2000-12-28 Claudio Sacerdoti... ... tree | commitdiff
2000-12-28 Claudio Sacerdoti... 1777 (1 = sticky bit) for the library dir tree | commitdiff
2000-12-28 Claudio Sacerdoti... ... tree | commitdiff
2000-12-28 Claudio Sacerdoti... bug fixed tree | commitdiff
2000-12-28 Claudio Sacerdoti... More cleaning in distclean tree | commitdiff
2000-12-22 Claudio Sacerdoti... ... tree | commitdiff
2000-12-22 Claudio Sacerdoti... ... tree | commitdiff
2000-12-22 Claudio Sacerdoti... ... tree | commitdiff
2000-12-22 Claudio Sacerdoti... install file removed tree | commitdiff
2000-12-22 Claudio Sacerdoti... cache usage fixed tree | commitdiff
2000-12-22 Claudio Sacerdoti... ... tree | commitdiff
2000-12-22 Claudio Sacerdoti... urls_of_uris.db is now empty tree | commitdiff
2000-12-22 Claudio Sacerdoti... library files added tree | commitdiff
2000-12-22 Claudio Sacerdoti... distclean target added tree | commitdiff
2000-12-22 Claudio Sacerdoti... ... tree | commitdiff
2000-12-22 Claudio Sacerdoti... Some advancements tree | commitdiff
2000-12-21 Claudio Sacerdoti... gtkmathview-config used tree | commitdiff
2000-12-21 Claudio Sacerdoti... bug fixed tree | commitdiff
2000-12-21 Claudio Sacerdoti... configuration.xml autoconfigured tree | commitdiff
2000-12-21 Claudio Sacerdoti... helm-math-engine-configuration.xml autoconfigured tree | commitdiff
2000-12-21 Claudio Sacerdoti... helm-math-engine-configuration.xml autoconfigured tree | commitdiff
2000-12-21 Claudio Sacerdoti... configuration.pl.in configured tree | commitdiff
2000-12-21 Claudio Sacerdoti... .cvsignore added tree | commitdiff
2000-12-21 Claudio Sacerdoti... Autoconf used tree | commitdiff
2000-12-21 Claudio Sacerdoti... All files previously in local/$i/helm moved in $i tree | commitdiff
2000-12-21 Claudio Sacerdoti... cvsignore added tree | commitdiff
2000-12-21 Claudio Sacerdoti... Using autoconf tree | commitdiff
2000-12-19 Luca PadovaniModified Files: tree | commitdiff
2000-12-19 Luca PadovaniAdded Files (these are configuration files for the... tree | commitdiff
2000-11-24 Claudio Sacerdoti... http_getter reimplemented from scratch tree | commitdiff
2000-11-20 Luca Padovanilocal/etc/helm/configuration.xml: changed xmlfile ... tree | commitdiff
2000-11-17 Claudio Sacerdoti... install improved tree | commitdiff
2000-11-17 Claudio Sacerdoti... Nothing important tree | commitdiff
2000-11-17 Claudio Sacerdoti... Nothing important. tree | commitdiff
2000-11-16 Claudio Sacerdoti... Some modularity added tree | commitdiff
2000-11-10 Claudio Sacerdoti... Many bug fixed tree | commitdiff
2000-10-31 Claudio Sacerdoti... configuration file changed tree | commitdiff
2000-10-31 Claudio Sacerdoti... install script added tree | commitdiff
2000-10-31 Claudio Sacerdoti... Initial revision tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.