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

local/etc/helm/configuration.xml: changed xmlfile -> xmluri

install improved

Nothing important

I don't know

Some bugs fixed

cadet, isterix changed

Nothing important

Initial revision

Nothing important.

Two links were missing

xaland-* moved in xsltd repository

Initial revision

http_getter moved in the http_getter repository

http_getter.pl moved in the http_getter repository

isterix file added

Initial revision

Initial revision

Initial revision

Modified Files:
1) mml2mmlv1_0.xsl: added comments beginning with "HELM:" to the last
modifications
2) rootcontent.xsl: updated comments
3) roottheory.xsl: ready to be the starting stylesheet for
theory files in place of theory_content.xsl
4) theory_pres.xsl: "import" in place of "include" for
annotated_pres.xsl

Removed Files:
annotatedcont.xsl.csc content.xsl.csc
content_senza_tipi.13.9.00.xsl mml2mmlv1_0_original.xsl
mmlextension_andrea.xsl mmlextension_irene.xsl
objcontent.xsl.csc objcontent_old.xsl proof31-10-00.xsl
rootcontent_withproofs.xsl
style_prima_del_linguaggio_naturale/annotatedcont.xsl.csc
style_prima_del_linguaggio_naturale/content.xsl.csc
style_prima_del_linguaggio_naturale/mmlextension_andrea.xsl
style_prima_del_linguaggio_naturale/mmlextension_irene.xsl
style_prima_del_linguaggio_naturale/objcontent.xsl.csc
style_prima_del_linguaggio_naturale/objcontent_old.xsl
style_prima_del_linguaggio_naturale/rootcontent_withproofs.xsl

Another patch to the http_getter.ml.
Now with getwithtypes it retrieves also annotations.

.cvsignore improved

Some modularity added