]> matita.cs.unibo.it Git - helm.git/log
helm.git
23 years agosyntax error
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 15:28:47 +0000 (15:28 +0000)]
syntax error

23 years agobug fixed
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 15:24:37 +0000 (15:24 +0000)]
bug fixed

23 years agosyntax error fixed
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 15:22:54 +0000 (15:22 +0000)]
syntax error fixed

23 years agohttp_getter.pl is now executable
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 15:20:40 +0000 (15:20 +0000)]
http_getter.pl is now executable

23 years agohttp_getter.pl is now created executable
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 15:10:02 +0000 (15:10 +0000)]
http_getter.pl is now created executable

23 years ago...
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 14:44:55 +0000 (14:44 +0000)]
...

23 years ago...
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 14:43:28 +0000 (14:43 +0000)]
...

23 years ago...
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 14:28:35 +0000 (14:28 +0000)]
...

23 years agoautoconf now used
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 14:12:49 +0000 (14:12 +0000)]
autoconf now used

23 years agoProvides and Requires now fixed
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 13:50:57 +0000 (13:50 +0000)]
Provides and Requires now fixed

23 years agoRequires and Provides now fixed
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 13:50:37 +0000 (13:50 +0000)]
Requires and Provides now fixed

23 years agoOnly .xsl files in style are now copied
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 13:47:20 +0000 (13:47 +0000)]
Only .xsl files in style are now copied

23 years agobug fixed
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 13:44:35 +0000 (13:44 +0000)]
bug fixed

23 years agoenglish syntax error fixed
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 13:38:46 +0000 (13:38 +0000)]
english syntax error fixed

23 years ago.cvsignore file added
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 13:37:36 +0000 (13:37 +0000)]
.cvsignore file added

23 years agoFirst files added
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 12:19:44 +0000 (12:19 +0000)]
First files added

23 years agoMore tags
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 11:36:13 +0000 (11:36 +0000)]
More tags

23 years ago...
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 11:29:16 +0000 (11:29 +0000)]
...

23 years agoconfigure.cache.* corrected into config.cache.*
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 11:16:40 +0000 (11:16 +0000)]
configure.cache.* corrected into config.cache.*

23 years ago...
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 11:03:49 +0000 (11:03 +0000)]
...

23 years agoDefault configure cache for creating packages created
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 10:48:55 +0000 (10:48 +0000)]
Default configure cache for creating packages created

23 years agoFirst changes to make the rpm package
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 10:48:16 +0000 (10:48 +0000)]
First changes to make the rpm package

23 years ago...
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 09:26:57 +0000 (09:26 +0000)]
...

23 years ago1777 (1 = sticky bit) for the library dir
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 09:12:50 +0000 (09:12 +0000)]
1777 (1 = sticky bit) for the library dir

23 years ago...
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 09:05:12 +0000 (09:05 +0000)]
...

23 years agobug fixed
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 08:58:06 +0000 (08:58 +0000)]
bug fixed

23 years agoMore cleaning in distclean
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 08:49:25 +0000 (08:49 +0000)]
More cleaning in distclean

23 years ago...
Claudio Sacerdoti Coen [Fri, 22 Dec 2000 17:46:26 +0000 (17:46 +0000)]
...

23 years ago...
Claudio Sacerdoti Coen [Fri, 22 Dec 2000 17:36:48 +0000 (17:36 +0000)]
...

23 years ago...
Claudio Sacerdoti Coen [Fri, 22 Dec 2000 17:12:11 +0000 (17:12 +0000)]
...

23 years agoinstall file removed
Claudio Sacerdoti Coen [Fri, 22 Dec 2000 16:51:56 +0000 (16:51 +0000)]
install file removed

23 years agocache usage fixed
Claudio Sacerdoti Coen [Fri, 22 Dec 2000 16:40:48 +0000 (16:40 +0000)]
cache usage fixed

23 years ago...
Claudio Sacerdoti Coen [Fri, 22 Dec 2000 15:56:10 +0000 (15:56 +0000)]
...

23 years agourls_of_uris.db is now empty
Claudio Sacerdoti Coen [Fri, 22 Dec 2000 15:24:23 +0000 (15:24 +0000)]
urls_of_uris.db is now empty

23 years agolibrary files added
Claudio Sacerdoti Coen [Fri, 22 Dec 2000 15:17:49 +0000 (15:17 +0000)]
library files added

23 years agodistclean target added
Claudio Sacerdoti Coen [Fri, 22 Dec 2000 15:12:22 +0000 (15:12 +0000)]
distclean target added

23 years ago...
Claudio Sacerdoti Coen [Fri, 22 Dec 2000 12:10:52 +0000 (12:10 +0000)]
...

23 years agoSome advancements
Claudio Sacerdoti Coen [Fri, 22 Dec 2000 12:03:38 +0000 (12:03 +0000)]
Some advancements

23 years agogtkmathview-config used
Claudio Sacerdoti Coen [Thu, 21 Dec 2000 18:38:13 +0000 (18:38 +0000)]
gtkmathview-config used

23 years agobug fixed
Claudio Sacerdoti Coen [Thu, 21 Dec 2000 18:09:15 +0000 (18:09 +0000)]
bug fixed

23 years agoconfiguration.xml autoconfigured
Claudio Sacerdoti Coen [Thu, 21 Dec 2000 16:36:36 +0000 (16:36 +0000)]
configuration.xml autoconfigured

23 years agohelm-math-engine-configuration.xml autoconfigured
Claudio Sacerdoti Coen [Thu, 21 Dec 2000 15:21:09 +0000 (15:21 +0000)]
helm-math-engine-configuration.xml autoconfigured

23 years agohelm-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

23 years agoconfiguration.pl.in configured
Claudio Sacerdoti Coen [Thu, 21 Dec 2000 14:25:06 +0000 (14:25 +0000)]
configuration.pl.in configured

23 years ago.cvsignore added
Claudio Sacerdoti Coen [Thu, 21 Dec 2000 14:20:13 +0000 (14:20 +0000)]
.cvsignore added

23 years agoAutoconf used
Claudio Sacerdoti Coen [Thu, 21 Dec 2000 14:19:38 +0000 (14:19 +0000)]
Autoconf used

23 years agoAll files previously in local/$i/helm moved in $i
Claudio Sacerdoti Coen [Thu, 21 Dec 2000 14:15:17 +0000 (14:15 +0000)]
All files previously in local/$i/helm moved in $i

23 years agocvsignore added
Claudio Sacerdoti Coen [Thu, 21 Dec 2000 14:12:45 +0000 (14:12 +0000)]
cvsignore added

23 years agoUsing autoconf
Claudio Sacerdoti Coen [Thu, 21 Dec 2000 14:11:27 +0000 (14:11 +0000)]
Using autoconf

23 years agoNow the gtk trees are lazily constructed.
Claudio Sacerdoti Coen [Wed, 20 Dec 2000 17:45:01 +0000 (17:45 +0000)]
Now the gtk trees are lazily constructed.

23 years agoCode clean-up: only one procedure to create the gtk trees.
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.

23 years agoModified Files:
Luca Padovani [Wed, 20 Dec 2000 15:38:42 +0000 (15:38 +0000)]
Modified Files:
  minidom-0.1.0-1.spec

23 years agoInitial
Claudio Sacerdoti Coen [Wed, 20 Dec 2000 15:23:08 +0000 (15:23 +0000)]
Initial

23 years agoNothing important
Claudio Sacerdoti Coen [Wed, 20 Dec 2000 15:15:07 +0000 (15:15 +0000)]
Nothing important

23 years agoInitial
Claudio Sacerdoti Coen [Wed, 20 Dec 2000 15:12:38 +0000 (15:12 +0000)]
Initial

23 years agoinitial
Claudio Sacerdoti Coen [Wed, 20 Dec 2000 15:11:37 +0000 (15:11 +0000)]
initial

23 years agouwobo added
Claudio Sacerdoti Coen [Wed, 20 Dec 2000 14:55:56 +0000 (14:55 +0000)]
uwobo added

23 years agoxaland-uwobo created
Claudio Sacerdoti Coen [Wed, 20 Dec 2000 14:55:26 +0000 (14:55 +0000)]
xaland-uwobo created

23 years ago*** empty log message ***
Luca Padovani [Wed, 20 Dec 2000 13:39:13 +0000 (13:39 +0000)]
*** empty log message ***

23 years agolablgtk-20001129_gtkmathview created
Luca Padovani [Wed, 20 Dec 2000 13:16:11 +0000 (13:16 +0000)]
lablgtk-20001129_gtkmathview created

23 years agoInitial revision
Luca Padovani [Wed, 20 Dec 2000 13:13:55 +0000 (13:13 +0000)]
Initial revision

23 years agoModified Files:
Luca Padovani [Tue, 19 Dec 2000 18:32:52 +0000 (18:32 +0000)]
Modified Files:
install: updated to copy math engine configuration files

23 years agoAdded Files (these are configuration files for the rendering engine)
Luca Padovani [Tue, 19 Dec 2000 18:01:51 +0000 (18:01 +0000)]
Added Files (these are configuration files for the rendering engine)
helm-dictionary.xml
helm-font-configuration.xml
helm-math-engine-configuration.xml

23 years agoPerformance improvements using the sort attribute
Claudio Sacerdoti Coen [Mon, 18 Dec 2000 18:37:08 +0000 (18:37 +0000)]
Performance improvements using the sort attribute

23 years agoSome spaces at the content level eliminated.
Claudio Sacerdoti Coen [Mon, 18 Dec 2000 17:55:53 +0000 (17:55 +0000)]
Some spaces at the content level eliminated.

23 years agoPerformance improvements and bug fixed
Claudio Sacerdoti Coen [Mon, 18 Dec 2000 15:20:14 +0000 (15:20 +0000)]
Performance improvements and bug fixed

23 years agominidom-0.1.0-plain-1.spec: package linked without libxml1
Luca Padovani [Fri, 15 Dec 2000 17:12:09 +0000 (17:12 +0000)]
minidom-0.1.0-plain-1.spec: package linked without libxml1

23 years agoBug fixed
Claudio Sacerdoti Coen [Thu, 14 Dec 2000 19:08:39 +0000 (19:08 +0000)]
Bug fixed

23 years agoSome optimizations using the "sort" attribute.
Claudio Sacerdoti Coen [Thu, 14 Dec 2000 17:12:15 +0000 (17:12 +0000)]
Some optimizations using the "sort" attribute.

23 years agoFew modifications required each time to make interface compile on a new
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
machine.

23 years agoNow mywget is used instead of wget. mywget is a wrapper for wget
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
that recognizes also file:/... URLs.

23 years agoScript to start http-getter at boot time.
Claudio Sacerdoti Coen [Tue, 12 Dec 2000 15:50:09 +0000 (15:50 +0000)]
Script to start http-getter at boot time.

23 years agoAnother contribution. But this one does not work
Claudio Sacerdoti Coen [Thu, 7 Dec 2000 18:17:47 +0000 (18:17 +0000)]
Another contribution. But this one does not work
(the XML module crashes). Bug reported to Hugo.

23 years ago.cvsignore files added
Claudio Sacerdoti Coen [Thu, 7 Dec 2000 14:35:13 +0000 (14:35 +0000)]
.cvsignore files added

23 years agoMany files added. Symbolic links missing. examples and contrib missing due
Claudio Sacerdoti Coen [Thu, 7 Dec 2000 14:33:18 +0000 (14:33 +0000)]
Many files added. Symbolic links missing. examples and contrib missing due
to lack of space

23 years agoforall csymbol added
Claudio Sacerdoti Coen [Thu, 7 Dec 2000 12:34:23 +0000 (12:34 +0000)]
forall csymbol added

23 years agoExternal entity inclusion fixed
Claudio Sacerdoti Coen [Thu, 7 Dec 2000 12:29:08 +0000 (12:29 +0000)]
External entity inclusion fixed

23 years agoAttribute type added to PROD
Claudio Sacerdoti Coen [Thu, 7 Dec 2000 10:53:29 +0000 (10:53 +0000)]
Attribute type added to PROD

23 years agoNow lablgtk dir is automatically found
Claudio Sacerdoti Coen [Wed, 6 Dec 2000 17:10:37 +0000 (17:10 +0000)]
Now lablgtk dir is automatically found

23 years agogtkmathview/gtkmathview.h => gtkmathview.h
Claudio Sacerdoti Coen [Wed, 6 Dec 2000 16:49:22 +0000 (16:49 +0000)]
gtkmathview/gtkmathview.h => gtkmathview.h

23 years agoxref and href added to m:ci containing presentation markup
Claudio Sacerdoti Coen [Mon, 4 Dec 2000 18:41:32 +0000 (18:41 +0000)]
xref and href added to m:ci containing presentation markup

23 years agoFirst very partial implementation of LetIn and bodyed Variables
Claudio Sacerdoti Coen [Mon, 4 Dec 2000 16:02:07 +0000 (16:02 +0000)]
First very partial implementation of LetIn and bodyed Variables

23 years agonot simbol is now the logical one
Claudio Sacerdoti Coen [Mon, 4 Dec 2000 13:53:13 +0000 (13:53 +0000)]
not simbol is now the logical one

23 years agoUpdated to V7 after V6-2 tag creation
Claudio Sacerdoti Coen [Mon, 4 Dec 2000 12:38:12 +0000 (12:38 +0000)]
Updated to V7 after V6-2 tag creation

23 years agoUpdate to V7 after V6-2 tag creationg
Claudio Sacerdoti Coen [Mon, 4 Dec 2000 12:28:46 +0000 (12:28 +0000)]
Update to V7 after V6-2 tag creationg

23 years agoduring update, asks the perl getter to update too
Claudio Sacerdoti Coen [Fri, 1 Dec 2000 20:00:19 +0000 (20:00 +0000)]
during update, asks the perl getter to update too

23 years agoupdate method added; now returns NOT_FOUND if the document is not found
Claudio Sacerdoti Coen [Fri, 1 Dec 2000 19:59:41 +0000 (19:59 +0000)]
update method added; now returns NOT_FOUND if the document is not found

23 years agolablgtk_20001129-0.1.0-1.spec : every file specified
Luca Padovani [Fri, 1 Dec 2000 18:03:58 +0000 (18:03 +0000)]
lablgtk_20001129-0.1.0-1.spec : every file specified

23 years agoMinor modifications
Claudio Sacerdoti Coen [Fri, 1 Dec 2000 16:52:18 +0000 (16:52 +0000)]
Minor modifications

23 years agoInitial revision
Luca Padovani [Fri, 1 Dec 2000 16:08:25 +0000 (16:08 +0000)]
Initial revision

23 years agommlinterface.ml : updated to the new binding
Luca Padovani [Fri, 1 Dec 2000 16:04:39 +0000 (16:04 +0000)]
mmlinterface.ml : updated to the new binding

23 years agolablgtk-20001129 added
Claudio Sacerdoti Coen [Fri, 1 Dec 2000 11:46:04 +0000 (11:46 +0000)]
lablgtk-20001129 added

23 years agoother files missing from 20001129
Claudio Sacerdoti Coen [Fri, 1 Dec 2000 11:41:04 +0000 (11:41 +0000)]
other files missing from 20001129

23 years agoother files missing in 20001129
Claudio Sacerdoti Coen [Fri, 1 Dec 2000 11:39:24 +0000 (11:39 +0000)]
other files missing in 20001129

23 years agosome files of 20001129 were missing
Claudio Sacerdoti Coen [Fri, 1 Dec 2000 11:35:59 +0000 (11:35 +0000)]
some files of 20001129 were missing

23 years agolablgtk_20001129* created
Claudio Sacerdoti Coen [Fri, 1 Dec 2000 11:28:52 +0000 (11:28 +0000)]
lablgtk_20001129* created

23 years agoDTD for inner types of V6.2 created
Claudio Sacerdoti Coen [Thu, 30 Nov 2000 18:21:23 +0000 (18:21 +0000)]
DTD for inner types of V6.2 created

23 years agoUpgraded to mml-widget version 0.2.1
Claudio Sacerdoti Coen [Thu, 30 Nov 2000 17:17:32 +0000 (17:17 +0000)]
Upgraded to mml-widget version 0.2.1

23 years agominidom/Makefile: missing $(INST) variable for non-object files in target install
Luca Padovani [Thu, 30 Nov 2000 15:53:14 +0000 (15:53 +0000)]
minidom/Makefile: missing $(INST) variable for non-object files in target install
minidom/ominidom.ml: eta-optimizations

23 years agoominidom.cmi not installed by Makefile
Claudio Sacerdoti Coen [Thu, 30 Nov 2000 15:50:08 +0000 (15:50 +0000)]
ominidom.cmi not installed by Makefile