]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2001-01-17 Luca Padovaniautoconfiguration improved (?)
2001-01-17 Luca Padovanithe spec file is now autoconfigured
2001-01-17 Luca Padovanithe spec file is not autoconfigured
2001-01-17 Irene SchenaModified Files:
2001-01-17 Irene SchenaModified Files:
2001-01-15 Luca Padovaniadded LICENSE files to be included in the HELM sources
2001-01-15 Luca PadovaniLICENSE added
2001-01-15 Stefano ZacchiroliAdded preliminary support for gzipped library
2001-01-15 Luca Padovaniadded LICENSE
2001-01-15 Luca Padovaniadded LICENSE files
2001-01-10 Luca PadovaniMakefile.in: improved support for autoconf
2001-01-10 Luca PadovaniInitial revision
2001-01-10 Luca PadovaniInitial revision
2001-01-08 Luca Padovani*** empty log message ***
2000-12-29 Claudio Sacerdoti... MIME-BASE64 => MIME-Base64
2000-12-29 Claudio Sacerdoti... syntax error
2000-12-29 Claudio Sacerdoti... Initial revision
2000-12-29 Claudio Sacerdoti... Some Requires were missing; the same checks are still...
2000-12-29 Claudio Sacerdoti... Some Requires were missing. Same checks still missing...
2000-12-29 Claudio Sacerdoti... now servers.txt and urls_or_uris.db are 666
2000-12-28 Claudio Sacerdoti... helm_wget is now executable
2000-12-28 Claudio Sacerdoti... mywget => helm_wget
2000-12-28 Claudio Sacerdoti... mywget renamed in helm_wget; autoconf used for helm_wget
2000-12-28 Claudio Sacerdoti... ...
2000-12-28 Claudio Sacerdoti... ...
2000-12-28 Claudio Sacerdoti... configuration.ml moved to configuration.ml.in to use...
2000-12-28 Claudio Sacerdoti... Autoconf now used
2000-12-28 Claudio Sacerdoti... Makefile moved in Makefile.in to use autoconf
2000-12-28 Claudio Sacerdoti... shared => share
2000-12-28 Claudio Sacerdoti... syntax error fixed
2000-12-28 Claudio Sacerdoti... Requires updated
2000-12-28 Claudio Sacerdoti... ...
2000-12-28 Claudio Sacerdoti... ...
2000-12-28 Claudio Sacerdoti... first changes to make autoconf work
2000-12-28 Claudio Sacerdoti... autoconf now used
2000-12-28 Claudio Sacerdoti... Makefile moved in Makefile.old and start-xaland created.
2000-12-28 Claudio Sacerdoti... syntax error
2000-12-28 Claudio Sacerdoti... bug fixed
2000-12-28 Claudio Sacerdoti... syntax error fixed
2000-12-28 Claudio Sacerdoti... http_getter.pl is now executable
2000-12-28 Claudio Sacerdoti... http_getter.pl is now created executable
2000-12-28 Claudio Sacerdoti... ...
2000-12-28 Claudio Sacerdoti... ...
2000-12-28 Claudio Sacerdoti... ...
2000-12-28 Claudio Sacerdoti... autoconf now used
2000-12-28 Claudio Sacerdoti... Provides and Requires now fixed
2000-12-28 Claudio Sacerdoti... Requires and Provides now fixed
2000-12-28 Claudio Sacerdoti... Only .xsl files in style are now copied
2000-12-28 Claudio Sacerdoti... bug fixed
2000-12-28 Claudio Sacerdoti... english syntax error fixed
2000-12-28 Claudio Sacerdoti... .cvsignore file added
2000-12-28 Claudio Sacerdoti... First files added
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-20 Claudio Sacerdoti... Now the gtk trees are lazily constructed.
2000-12-20 Claudio Sacerdoti... Code clean-up: only one procedure to create the gtk...
2000-12-20 Luca PadovaniModified Files:
2000-12-20 Claudio Sacerdoti... Initial
2000-12-20 Claudio Sacerdoti... Nothing important
2000-12-20 Claudio Sacerdoti... Initial
2000-12-20 Claudio Sacerdoti... initial
2000-12-20 Claudio Sacerdoti... uwobo added
2000-12-20 Claudio Sacerdoti... xaland-uwobo created
2000-12-20 Luca Padovani*** empty log message ***
2000-12-20 Luca Padovanilablgtk-20001129_gtkmathview created
2000-12-20 Luca PadovaniInitial revision
2000-12-19 Luca PadovaniModified Files:
2000-12-19 Luca PadovaniAdded Files (these are configuration files for the...
2000-12-18 Claudio Sacerdoti... Performance improvements using the sort attribute
next