]> matita.cs.unibo.it Git - helm.git/shortlog
projects / helm.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
helm.git
2001-01-23 Andrea Asperti- Bug due to overloading of csymbol letin fixed. commit | commitdiff | tree | snapshot
2001-01-22 Luca Padovanipatched configure.in for Debian (different location... commit | commitdiff | tree | snapshot
2001-01-22 Luca PadovaniRemoved Files: commit | commitdiff | tree | snapshot
2001-01-22 Luca PadovaniRemoved Files: commit | commitdiff | tree | snapshot
2001-01-19 Luca Padovaniconfigure.in : check for perl commit | commitdiff | tree | snapshot
2001-01-19 Luca Padovani*** empty log message *** commit | commitdiff | tree | snapshot
2001-01-19 Luca Padovani0.0.2 commit | commitdiff | tree | snapshot
2001-01-19 Luca Padovani*** empty log message *** commit | commitdiff | tree | snapshot
2001-01-19 Luca Padovanimissed conflict resolved, merge commit | commitdiff | tree | snapshot
2001-01-18 Luca PadovaniAdded Files: commit | commitdiff | tree | snapshot
2001-01-18 Stefano ZacchiroliAdded perl modules check commit | commitdiff | tree | snapshot
2001-01-17 Luca Padovaniimproved autoconfiguration commit | commitdiff | tree | snapshot
2001-01-17 Luca Padovaniisterix? commit | commitdiff | tree | snapshot
2001-01-17 Luca Padovaniimproved autoconfiguration (well, maybe) commit | commitdiff | tree | snapshot
2001-01-17 Luca Padovaniimproved autoconfiguration and other small fixes, this... commit | commitdiff | tree | snapshot
2001-01-17 Luca Padovaniautoconfiguration improved (well, maybe) commit | commitdiff | tree | snapshot
2001-01-17 Luca Padovaniautoconfiguration improved (?) commit | commitdiff | tree | snapshot
2001-01-17 Luca Padovanithe spec file is now autoconfigured commit | commitdiff | tree | snapshot
2001-01-17 Luca Padovanithe spec file is not autoconfigured commit | commitdiff | tree | snapshot
2001-01-17 Irene SchenaModified Files: commit | commitdiff | tree | snapshot
2001-01-17 Irene SchenaModified Files: commit | commitdiff | tree | snapshot
2001-01-15 Luca Padovaniadded LICENSE files to be included in the HELM sources commit | commitdiff | tree | snapshot
2001-01-15 Luca PadovaniLICENSE added commit | commitdiff | tree | snapshot
2001-01-15 Stefano ZacchiroliAdded preliminary support for gzipped library commit | commitdiff | tree | snapshot
2001-01-15 Luca Padovaniadded LICENSE commit | commitdiff | tree | snapshot
2001-01-15 Luca Padovaniadded LICENSE files commit | commitdiff | tree | snapshot
2001-01-10 Luca PadovaniMakefile.in: improved support for autoconf commit | commitdiff | tree | snapshot
2001-01-10 Luca PadovaniInitial revision commit | commitdiff | tree | snapshot
2001-01-10 Luca PadovaniInitial revision commit | commitdiff | tree | snapshot
2001-01-08 Luca Padovani*** empty log message *** commit | commitdiff | tree | snapshot
2000-12-29 Claudio Sacerdoti... MIME-BASE64 => MIME-Base64 commit | commitdiff | tree | snapshot
2000-12-29 Claudio Sacerdoti... syntax error commit | commitdiff | tree | snapshot
2000-12-29 Claudio Sacerdoti... Initial revision commit | commitdiff | tree | snapshot
2000-12-29 Claudio Sacerdoti... Some Requires were missing; the same checks are still... commit | commitdiff | tree | snapshot
2000-12-29 Claudio Sacerdoti... Some Requires were missing. Same checks still missing... commit | commitdiff | tree | snapshot
2000-12-29 Claudio Sacerdoti... now servers.txt and urls_or_uris.db are 666 commit | commitdiff | tree | snapshot
2000-12-28 Claudio Sacerdoti... helm_wget is now executable commit | commitdiff | tree | snapshot
2000-12-28 Claudio Sacerdoti... mywget => helm_wget commit | commitdiff | tree | snapshot
2000-12-28 Claudio Sacerdoti... mywget renamed in helm_wget; autoconf used for helm_wget commit | commitdiff | tree | snapshot
2000-12-28 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2000-12-28 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2000-12-28 Claudio Sacerdoti... configuration.ml moved to configuration.ml.in to use... commit | commitdiff | tree | snapshot
2000-12-28 Claudio Sacerdoti... Autoconf now used commit | commitdiff | tree | snapshot
2000-12-28 Claudio Sacerdoti... Makefile moved in Makefile.in to use autoconf commit | commitdiff | tree | snapshot
2000-12-28 Claudio Sacerdoti... shared => share commit | commitdiff | tree | snapshot
2000-12-28 Claudio Sacerdoti... syntax error fixed commit | commitdiff | tree | snapshot
2000-12-28 Claudio Sacerdoti... Requires updated commit | commitdiff | tree | snapshot
2000-12-28 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2000-12-28 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2000-12-28 Claudio Sacerdoti... first changes to make autoconf work commit | commitdiff | tree | snapshot
2000-12-28 Claudio Sacerdoti... autoconf now used commit | commitdiff | tree | snapshot
2000-12-28 Claudio Sacerdoti... Makefile moved in Makefile.old and start-xaland created. commit | commitdiff | tree | snapshot
2000-12-28 Claudio Sacerdoti... syntax error commit | commitdiff | tree | snapshot
2000-12-28 Claudio Sacerdoti... bug fixed commit | commitdiff | tree | snapshot
2000-12-28 Claudio Sacerdoti... syntax error fixed commit | commitdiff | tree | snapshot
2000-12-28 Claudio Sacerdoti... http_getter.pl is now executable commit | commitdiff | tree | snapshot
2000-12-28 Claudio Sacerdoti... http_getter.pl is now created executable commit | commitdiff | tree | snapshot
2000-12-28 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2000-12-28 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2000-12-28 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2000-12-28 Claudio Sacerdoti... autoconf now used commit | commitdiff | tree | snapshot
2000-12-28 Claudio Sacerdoti... Provides and Requires now fixed commit | commitdiff | tree | snapshot
2000-12-28 Claudio Sacerdoti... Requires and Provides now fixed commit | commitdiff | tree | snapshot
2000-12-28 Claudio Sacerdoti... Only .xsl files in style are now copied commit | commitdiff | tree | snapshot
2000-12-28 Claudio Sacerdoti... bug fixed commit | commitdiff | tree | snapshot
2000-12-28 Claudio Sacerdoti... english syntax error fixed commit | commitdiff | tree | snapshot
2000-12-28 Claudio Sacerdoti... .cvsignore file added commit | commitdiff | tree | snapshot
2000-12-28 Claudio Sacerdoti... First files added commit | commitdiff | tree | snapshot
2000-12-28 Claudio Sacerdoti... More tags commit | commitdiff | tree | snapshot
2000-12-28 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2000-12-28 Claudio Sacerdoti... configure.cache.* corrected into config.cache.* commit | commitdiff | tree | snapshot
2000-12-28 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2000-12-28 Claudio Sacerdoti... Default configure cache for creating packages created commit | commitdiff | tree | snapshot
2000-12-28 Claudio Sacerdoti... First changes to make the rpm package commit | commitdiff | tree | snapshot
2000-12-28 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2000-12-28 Claudio Sacerdoti... 1777 (1 = sticky bit) for the library dir commit | commitdiff | tree | snapshot
2000-12-28 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2000-12-28 Claudio Sacerdoti... bug fixed commit | commitdiff | tree | snapshot
2000-12-28 Claudio Sacerdoti... More cleaning in distclean commit | commitdiff | tree | snapshot
2000-12-22 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2000-12-22 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2000-12-22 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2000-12-22 Claudio Sacerdoti... install file removed commit | commitdiff | tree | snapshot
2000-12-22 Claudio Sacerdoti... cache usage fixed commit | commitdiff | tree | snapshot
2000-12-22 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2000-12-22 Claudio Sacerdoti... urls_of_uris.db is now empty commit | commitdiff | tree | snapshot
2000-12-22 Claudio Sacerdoti... library files added commit | commitdiff | tree | snapshot
2000-12-22 Claudio Sacerdoti... distclean target added commit | commitdiff | tree | snapshot
2000-12-22 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2000-12-22 Claudio Sacerdoti... Some advancements commit | commitdiff | tree | snapshot
2000-12-21 Claudio Sacerdoti... gtkmathview-config used commit | commitdiff | tree | snapshot
2000-12-21 Claudio Sacerdoti... bug fixed commit | commitdiff | tree | snapshot
2000-12-21 Claudio Sacerdoti... configuration.xml autoconfigured commit | commitdiff | tree | snapshot
2000-12-21 Claudio Sacerdoti... helm-math-engine-configuration.xml autoconfigured commit | commitdiff | tree | snapshot
2000-12-21 Claudio Sacerdoti... helm-math-engine-configuration.xml autoconfigured commit | commitdiff | tree | snapshot
2000-12-21 Claudio Sacerdoti... configuration.pl.in configured commit | commitdiff | tree | snapshot
2000-12-21 Claudio Sacerdoti... .cvsignore added commit | commitdiff | tree | snapshot
2000-12-21 Claudio Sacerdoti... Autoconf used commit | commitdiff | tree | snapshot
2000-12-21 Claudio Sacerdoti... All files previously in local/$i/helm moved in $i commit | commitdiff | tree | snapshot
2000-12-21 Claudio Sacerdoti... cvsignore added commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.