]>
matita.cs.unibo.it Git - helm.git/log
Stefano Zacchiroli [Mon, 15 Jan 2001 12:58:05 +0000 (12:58 +0000)]
Added preliminary support for gzipped library
Luca Padovani [Mon, 15 Jan 2001 09:00:06 +0000 (09:00 +0000)]
added LICENSE
Luca Padovani [Mon, 15 Jan 2001 08:49:43 +0000 (08:49 +0000)]
added LICENSE files
Luca Padovani [Wed, 10 Jan 2001 11:00:53 +0000 (11:00 +0000)]
Makefile.in: improved support for autoconf
Luca Padovani [Wed, 10 Jan 2001 10:12:49 +0000 (10:12 +0000)]
Initial revision
Luca Padovani [Wed, 10 Jan 2001 09:25:49 +0000 (09:25 +0000)]
Initial revision
Luca Padovani [Mon, 8 Jan 2001 11:11:17 +0000 (11:11 +0000)]
*** empty log message ***
Claudio Sacerdoti Coen [Fri, 29 Dec 2000 14:32:28 +0000 (14:32 +0000)]
MIME-BASE64 => MIME-Base64
Claudio Sacerdoti Coen [Fri, 29 Dec 2000 14:21:28 +0000 (14:21 +0000)]
syntax error
Claudio Sacerdoti Coen [Fri, 29 Dec 2000 14:11:06 +0000 (14:11 +0000)]
Initial revision
Claudio Sacerdoti Coen [Fri, 29 Dec 2000 12:46:29 +0000 (12:46 +0000)]
Some Requires were missing; the same checks are still missing in configure.in
Claudio Sacerdoti Coen [Fri, 29 Dec 2000 12:23:57 +0000 (12:23 +0000)]
Some Requires were missing. Same checks still missing in configure.in
Claudio Sacerdoti Coen [Fri, 29 Dec 2000 11:48:13 +0000 (11:48 +0000)]
now servers.txt and urls_or_uris.db are 666
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 17:54:29 +0000 (17:54 +0000)]
helm_wget is now executable
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 17:53:54 +0000 (17:53 +0000)]
mywget => helm_wget
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 17:52:54 +0000 (17:52 +0000)]
mywget renamed in helm_wget; autoconf used for helm_wget
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 17:36:01 +0000 (17:36 +0000)]
...
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 17:30:12 +0000 (17:30 +0000)]
...
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 17:09:16 +0000 (17:09 +0000)]
configuration.ml moved to configuration.ml.in to use autoconf
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 16:59:29 +0000 (16:59 +0000)]
Autoconf now used
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 16:56:14 +0000 (16:56 +0000)]
Makefile moved in Makefile.in to use autoconf
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 16:45:08 +0000 (16:45 +0000)]
shared => share
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 16:41:13 +0000 (16:41 +0000)]
syntax error fixed
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 16:38:07 +0000 (16:38 +0000)]
Requires updated
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 16:32:57 +0000 (16:32 +0000)]
...
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 16:20:10 +0000 (16:20 +0000)]
...
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 16:04:51 +0000 (16:04 +0000)]
first changes to make autoconf work
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 15:56:14 +0000 (15:56 +0000)]
autoconf now used
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 15:52:45 +0000 (15:52 +0000)]
Makefile moved in Makefile.old and start-xaland created.
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 15:28:47 +0000 (15:28 +0000)]
syntax error
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 15:24:37 +0000 (15:24 +0000)]
bug fixed
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 15:22:54 +0000 (15:22 +0000)]
syntax error fixed
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 15:20:40 +0000 (15:20 +0000)]
http_getter.pl is now executable
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 15:10:02 +0000 (15:10 +0000)]
http_getter.pl is now created executable
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 14:44:55 +0000 (14:44 +0000)]
...
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 14:43:28 +0000 (14:43 +0000)]
...
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 14:28:35 +0000 (14:28 +0000)]
...
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 14:12:49 +0000 (14:12 +0000)]
autoconf now used
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 13:50:57 +0000 (13:50 +0000)]
Provides and Requires now fixed
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 13:50:37 +0000 (13:50 +0000)]
Requires and Provides now fixed
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 13:47:20 +0000 (13:47 +0000)]
Only .xsl files in style are now copied
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 13:44:35 +0000 (13:44 +0000)]
bug fixed
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 13:38:46 +0000 (13:38 +0000)]
english syntax error fixed
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 13:37:36 +0000 (13:37 +0000)]
.cvsignore file added
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 12:19:44 +0000 (12:19 +0000)]
First files added
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 11:36:13 +0000 (11:36 +0000)]
More tags
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 11:29:16 +0000 (11:29 +0000)]
...
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 11:16:40 +0000 (11:16 +0000)]
configure.cache.* corrected into config.cache.*
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 11:03:49 +0000 (11:03 +0000)]
...
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 10:48:55 +0000 (10:48 +0000)]
Default configure cache for creating packages created
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 10:48:16 +0000 (10:48 +0000)]
First changes to make the rpm package
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 09:26:57 +0000 (09:26 +0000)]
...
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 09:12:50 +0000 (09:12 +0000)]
1777 (1 = sticky bit) for the library dir
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 09:05:12 +0000 (09:05 +0000)]
...
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 08:58:06 +0000 (08:58 +0000)]
bug fixed
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 08:49:25 +0000 (08:49 +0000)]
More cleaning in distclean
Claudio Sacerdoti Coen [Fri, 22 Dec 2000 17:46:26 +0000 (17:46 +0000)]
...
Claudio Sacerdoti Coen [Fri, 22 Dec 2000 17:36:48 +0000 (17:36 +0000)]
...
Claudio Sacerdoti Coen [Fri, 22 Dec 2000 17:12:11 +0000 (17:12 +0000)]
...
Claudio Sacerdoti Coen [Fri, 22 Dec 2000 16:51:56 +0000 (16:51 +0000)]
install file removed
Claudio Sacerdoti Coen [Fri, 22 Dec 2000 16:40:48 +0000 (16:40 +0000)]
cache usage fixed
Claudio Sacerdoti Coen [Fri, 22 Dec 2000 15:56:10 +0000 (15:56 +0000)]
...
Claudio Sacerdoti Coen [Fri, 22 Dec 2000 15:24:23 +0000 (15:24 +0000)]
urls_of_uris.db is now empty
Claudio Sacerdoti Coen [Fri, 22 Dec 2000 15:17:49 +0000 (15:17 +0000)]
library files added
Claudio Sacerdoti Coen [Fri, 22 Dec 2000 15:12:22 +0000 (15:12 +0000)]
distclean target added
Claudio Sacerdoti Coen [Fri, 22 Dec 2000 12:10:52 +0000 (12:10 +0000)]
...
Claudio Sacerdoti Coen [Fri, 22 Dec 2000 12:03:38 +0000 (12:03 +0000)]
Some advancements
Claudio Sacerdoti Coen [Thu, 21 Dec 2000 18:38:13 +0000 (18:38 +0000)]
gtkmathview-config used
Claudio Sacerdoti Coen [Thu, 21 Dec 2000 18:09:15 +0000 (18:09 +0000)]
bug fixed
Claudio Sacerdoti Coen [Thu, 21 Dec 2000 16:36:36 +0000 (16:36 +0000)]
configuration.xml autoconfigured
Claudio Sacerdoti Coen [Thu, 21 Dec 2000 15:21:09 +0000 (15:21 +0000)]
helm-math-engine-configuration.xml autoconfigured
Claudio Sacerdoti Coen [Thu, 21 Dec 2000 15:09:32 +0000 (15:09 +0000)]
helm-math-engine-configuration.xml autoconfigured
Claudio Sacerdoti Coen [Thu, 21 Dec 2000 14:25:06 +0000 (14:25 +0000)]
configuration.pl.in configured
Claudio Sacerdoti Coen [Thu, 21 Dec 2000 14:20:13 +0000 (14:20 +0000)]
.cvsignore added
Claudio Sacerdoti Coen [Thu, 21 Dec 2000 14:19:38 +0000 (14:19 +0000)]
Autoconf used
Claudio Sacerdoti Coen [Thu, 21 Dec 2000 14:15:17 +0000 (14:15 +0000)]
All files previously in local/$i/helm moved in $i
Claudio Sacerdoti Coen [Thu, 21 Dec 2000 14:12:45 +0000 (14:12 +0000)]
cvsignore added
Claudio Sacerdoti Coen [Thu, 21 Dec 2000 14:11:27 +0000 (14:11 +0000)]
Using autoconf
Claudio Sacerdoti Coen [Wed, 20 Dec 2000 17:45:01 +0000 (17:45 +0000)]
Now the gtk trees are lazily constructed.
Claudio Sacerdoti Coen [Wed, 20 Dec 2000 17:07:34 +0000 (17:07 +0000)]
Code clean-up: only one procedure to create the gtk trees.
Luca Padovani [Wed, 20 Dec 2000 15:38:42 +0000 (15:38 +0000)]
Modified Files:
Claudio Sacerdoti Coen [Wed, 20 Dec 2000 15:23:08 +0000 (15:23 +0000)]
Initial
Claudio Sacerdoti Coen [Wed, 20 Dec 2000 15:15:07 +0000 (15:15 +0000)]
Nothing important
Claudio Sacerdoti Coen [Wed, 20 Dec 2000 15:12:38 +0000 (15:12 +0000)]
Initial
Claudio Sacerdoti Coen [Wed, 20 Dec 2000 15:11:37 +0000 (15:11 +0000)]
initial
Claudio Sacerdoti Coen [Wed, 20 Dec 2000 14:55:56 +0000 (14:55 +0000)]
uwobo added
Claudio Sacerdoti Coen [Wed, 20 Dec 2000 14:55:26 +0000 (14:55 +0000)]
xaland-uwobo created
Luca Padovani [Wed, 20 Dec 2000 13:39:13 +0000 (13:39 +0000)]
*** empty log message ***
Luca Padovani [Wed, 20 Dec 2000 13:16:11 +0000 (13:16 +0000)]
lablgtk-20001129_gtkmathview created
Luca Padovani [Wed, 20 Dec 2000 13:13:55 +0000 (13:13 +0000)]
Initial revision
Luca Padovani [Tue, 19 Dec 2000 18:32:52 +0000 (18:32 +0000)]
Modified Files:
Luca Padovani [Tue, 19 Dec 2000 18:01:51 +0000 (18:01 +0000)]
Added Files (these are configuration files for the rendering engine)
Claudio Sacerdoti Coen [Mon, 18 Dec 2000 18:37:08 +0000 (18:37 +0000)]
Performance improvements using the sort attribute
Claudio Sacerdoti Coen [Mon, 18 Dec 2000 17:55:53 +0000 (17:55 +0000)]
Some spaces at the content level eliminated.
Claudio Sacerdoti Coen [Mon, 18 Dec 2000 15:20:14 +0000 (15:20 +0000)]
Performance improvements and bug fixed
Luca Padovani [Fri, 15 Dec 2000 17:12:09 +0000 (17:12 +0000)]
minidom-0.1.0-plain-1.spec: package linked without libxml1
Claudio Sacerdoti Coen [Thu, 14 Dec 2000 19:08:39 +0000 (19:08 +0000)]
Bug fixed
Claudio Sacerdoti Coen [Thu, 14 Dec 2000 17:12:15 +0000 (17:12 +0000)]
Some optimizations using the "sort" attribute.
Claudio Sacerdoti Coen [Wed, 13 Dec 2000 12:02:32 +0000 (12:02 +0000)]
Few modifications required each time to make interface compile on a new
Claudio Sacerdoti Coen [Wed, 13 Dec 2000 12:01:28 +0000 (12:01 +0000)]
Now mywget is used instead of wget. mywget is a wrapper for wget
projects / helm.git / log