This commit was manufactured by cvs2svn to create branch 'helm'.

This commit was manufactured by cvs2svn to create branch 'helm'.

This commit was manufactured by cvs2svn to create branch 'helm'.

This commit was manufactured by cvs2svn to create branch 'helm'.

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

Library files removed from the repository

Much more modularity and some buf fixed in http_getter.pl

Some debug print removed

Other patches to this file. It must be rewritten from scratch
sooner or later.

Very dangerous bug fond!!!
The HELM_CONFIGURATION_PREFIX can't have a double slash in the
middle or a slash at the end due to the URI specifications

Many bug fixed

Now windows resize well (at least some of them)

Xalan-J-2 support added. Still too alpha to work, too.

Selection fixed

New improvements

Adding settings to the widget

Installation fixed

Porting to lablgtk_gtkmathview-0.2.0 completed

spec file forgot in previous commit

Package specifications created

Makefile acceptable. Ready to start packaging.

Binding completed and tested. Makefile still to do.

*** empty log message ***

Fixing the selections

Repository fixing

Some cleaning on the repository. .cvsignore added

Test improved

.cvsignore improved

Many bug fixed and improvements in minidom.

isterix updated

Test finished, but some bugs still remaining

Fixing repository

REpository fixing.

Repository fixing

Fixing repository

Fixing the repository

Test improved.

Test almost finished. Some bugs found.

Start of test phase

First release. All implemented but the PostScript output. Nothing tested

Initial revision

Initial revision

Temporary patch for threads and and_ind, or_ind, ...

The interface sorts the entryes in the trees

Set notation now working again

FIX body bug fixed

Minor modification

Added style before natural language synthesis

Initial revision

Unuseful file removed

Patch to the hard-coded constant in http_getter.pl

HELM_CONFIGURATION_PREFIX added to OCaml files

HELM_CONFIGURATION_PREFIX now used

configuration file changed

install script added

Binary files added to .cvsignore

.cvsignore created

Initial revision

Initial revision

New repository initialized by cvs2svn.