...

...

...

install file removed

cache usage fixed

...

urls_of_uris.db is now empty

library files added

distclean target added

...

Some advancements

gtkmathview-config used

bug fixed

configuration.xml autoconfigured

helm-math-engine-configuration.xml autoconfigured

helm-math-engine-configuration.xml autoconfigured

configuration.pl.in configured

.cvsignore added

Autoconf used

All files previously in local/$i/helm moved in $i

cvsignore added

Using autoconf

Now the gtk trees are lazily constructed.

Code clean-up: only one procedure to create the gtk trees.

Modified Files:
  minidom-0.1.0-1.spec

Initial

Nothing important

Initial

initial

uwobo added

xaland-uwobo created

*** empty log message ***

lablgtk-20001129_gtkmathview created

Initial revision

Modified Files:
install: updated to copy math engine configuration files

Added Files (these are configuration files for the rendering engine)
helm-dictionary.xml
helm-font-configuration.xml
helm-math-engine-configuration.xml

Performance improvements using the sort attribute

Some spaces at the content level eliminated.

Performance improvements and bug fixed

minidom-0.1.0-plain-1.spec: package linked without libxml1

Bug fixed

Some optimizations using the "sort" attribute.

Few modifications required each time to make interface compile on a new
machine.

Now mywget is used instead of wget. mywget is a wrapper for wget
that recognizes also file:/... URLs.

Script to start http-getter at boot time.

Another contribution. But this one does not work
(the XML module crashes). Bug reported to Hugo.

.cvsignore files added

Many files added. Symbolic links missing. examples and contrib missing due
to lack of space

forall csymbol added

External entity inclusion fixed

Attribute type added to PROD

Now lablgtk dir is automatically found

gtkmathview/gtkmathview.h => gtkmathview.h

xref and href added to m:ci containing presentation markup

First very partial implementation of LetIn and bodyed Variables

not simbol is now the logical one

Updated to V7 after V6-2 tag creation

Update to V7 after V6-2 tag creationg

during update, asks the perl getter to update too

update method added; now returns NOT_FOUND if the document is not found

lablgtk_20001129-0.1.0-1.spec : every file specified

Minor modifications

Initial revision

mmlinterface.ml : updated to the new binding

lablgtk-20001129 added

other files missing from 20001129

other files missing in 20001129

some files of 20001129 were missing

lablgtk_20001129* created

DTD for inner types of V6.2 created

Upgraded to mml-widget version 0.2.1

minidom/Makefile: missing $(INST) variable for non-object files in target install
minidom/ominidom.ml: eta-optimizations

ominidom.cmi not installed by Makefile

test/test.ml: added a call to reset_selection

*** empty log message ***

Initial revision

Makefile now uses gtkmathview-config

Modified Files:
1) mml2mmlv1_0.xsl: modified comments and added xlink pointer to msqrt

Modified Files:
1) basic.xsl: added to ci elements call-template to insert_subscript
2) content.xsl: modified comments and added to ci elements call-template
to insert_subscript
3) mmlextension.xsl: changed EmptySet in emptyset and framewidth=30 in
35. The emptyset marked mi instead of mo
4) mml2mmlv_1_0.xsl: modified comments and added xlink pointer to msqrt
5) objcontent.xsl: added to ci elements call-template to insert_subscript
6) params.xsl: added function insert_subscript
7) proofs.xsl: added to ci elements call-template to insert_subscript
8) reals.xsl: added to ci elements call-template to insert_subscript
9) set.xsl: added to ci elements call-template to insert_subscript

*** empty log message ***

Added Files:
  lablgtk-20000829_gtkmathview-0.2.1-1.spec

Initial revision

xaland that uses DOM created, but seems to be bugged and not working

gtkmathview-config now more used

mkindex.pl use_webeqp.pl webeq.pl webeqp.pl : helm root from environment

getheader.xml setheader.xsl : fix del bug bruttissimo

Modified Files:
  isterix new helm configuration

Modified Files:
  isterix: new helm configuration

http_getter reimplemented from scratch

Bug fixew

Other cleanings in the repository

Many cleanings in the repository

Two javacores where in the repository: removed

Some improvements in the settings window

Modified Files:
1) content.xsl: added comments
2) mml2mmlv1_0.xsl: now cn and ci can contain MathML presentation
elements
3) mmlextension.xsl: nothing is changed

Some bug fixed

Inserted msqrt to mark where to do some modifications

Don't use configuration.pl any more (does it work anyway?)
use_webeqp.pl webeqp.pl

Added Files (for webeq):
use_webeqp.pl webeq.pl webeqp.pl

Initial revision