New version of proof.xsl
Main modif:
- removed "thread" mode
- proof management (let-in) moved from content.xsl to proofs.xsl

support for dynamic retrieval of style configuration file

Support for automatic stylesheet configuration retrieval started

Initial revision

added processor_url to configuration file

No more used and soon no more working due to changes to the http_getter

Modified Files:
1) basic.xsl, content.xsl, content_to_html.xsl, html_init.xsl,
html_reals.xsl, html_set.xsl, proofs.xsl, reals.xsl, ricerca.xsl,
set.xsl: removed variable declaration of absPath
2) theory_content.xsl: added comments
2) rootcontent.xsl: inserted variable declaration of absPath
3) mmlextension.xsl: added parenthesis to the first arrow

bug: HELM_VAR_DIR ==> HELM_LIBRARY_DIR

Dynamic patch to transform the URL returned by $d->url in the
complete one. The patch involves calling gethostbyname().
I don't know better solutions

Done for URLs for DTDs the same thing previously done for stylesheets

Relative URL now used again

Modified Files:
1) mmlextension.xsl: added associativity (by means of parenthesis) to
the arrow
2) objcontent.xsl: no more mode="noannot" into apply-templates of the
abstparams template

When downloading stylesheets, substitutes all relative URLs with
absolute URLs through a very bad heuristic (regular expression)

Reindented some parts

HELM_DTD_DIR now also used

getxslt added

*** empty log message ***

*** empty log message ***

*** empty log message ***

*** empty log message ***

*** empty log message ***

*** empty log message ***

*** empty log message ***

*** empty log message ***

helm_http_getter.spec added

mmlextension.xsl : removed extra '>' at the end of an element

Added control on some "open" call (with 'or die ...')

removed debugging printf

xsltProcessor.ml : patched to work with UWOBO

Added mixed cache support through HTTP_GETTER_CACHE_MODE environment variable

added support for compressed files

configuration improvements

some improvements

*** empty log message ***

some adjustments to include files

last update was a fake update!!!

Modified Files:
1) mmlextension.xsl: <m:mo helm:xref="m:in/@helm:xref"> lacks {} !
2) reals.xsl: added definitionURL and helm:xref to the limit (limit1_in)
and moved helm:xref into <m:minus> of Rinv.con

ex_ind treated similarly to exT_ind.

ExT_ind implemented.
The corresponding content element is the csymbol ext_ind.

added rm *.spec in Makefile.in

configuration script improved

updated the binding so that it works well with lablgtk-1.00,
configuration script improved

Added debian dir for debian packaging

- Bug due to overloading of csymbol letin fixed.
Now we have both let_in (for CIC LETIN) and letin (generated
by proof transformation).

- Bug of apply_ind fixed. If the proof of A->B->C is not of
the form \x.\y.M, than no special treatment is done.

patched configure.in for Debian (different location of mlvalues.h)

Removed Files:
  libminidom.la minidom.lo

Removed Files:
  Makefile.in aclocal.m4 configure install-sh minidom-config
  missing mkinstalldirs

configure.in : check for perl
getter.ml mmlinterface.ml : patch for compressed files

*** empty log message ***

0.0.2

*** empty log message ***

missed conflict resolved, merge

Added Files:
helm-config.in

Added perl modules check

improved autoconfiguration

isterix?

improved autoconfiguration (well, maybe)

improved autoconfiguration and other small fixes, this module is about
to be dismissed

autoconfiguration improved (well, maybe)

autoconfiguration improved (?)

the spec file is now autoconfigured

the spec file is not autoconfigured

Modified Files:
1) annotatedcont.xsl, objcontent.xsl, proofs.xsl, rootcontent.xsl: added LETIN
2) content.xsl, mmlextension.xsl: added LETIN and body to Variable,
changed color into mathcolor
3) content_to_html.xsl, html_init.xsl, html_reals.xsl, html_set.xsl:
changed color into mathcolor
4) reals.xsl: power instead of root

Modified Files:
1) cicobject.dtd: added body? to Variable

added LICENSE files to be included in the HELM sources

LICENSE added

Added preliminary support for gzipped library

added LICENSE

added LICENSE files

Makefile.in: improved support for autoconf
configure.in: added checks for minidom, lablgtk, lablgtkmathview

Initial revision

Initial revision

*** empty log message ***

MIME-BASE64 => MIME-Base64

syntax error

Initial revision

Some Requires were missing; the same checks are still missing in configure.in

Some Requires were missing. Same checks still missing in configure.in

now servers.txt and urls_or_uris.db are 666

helm_wget is now executable

mywget => helm_wget

mywget renamed in helm_wget; autoconf used for helm_wget

...

...

configuration.ml moved to configuration.ml.in to use autoconf

Autoconf now used

Makefile moved in Makefile.in to use autoconf

shared => share

syntax error fixed

Requires updated

...

...

first changes to make autoconf work

autoconf now used

Makefile moved in Makefile.old and start-xaland created.
This in order to use autoconf.

syntax error

bug fixed

syntax error fixed

http_getter.pl is now executable

http_getter.pl is now created executable