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

...

...

...

autoconf now used

Provides and Requires now fixed

Requires and Provides now fixed

Only .xsl files in style are now copied

bug fixed

english syntax error fixed

.cvsignore file added

First files added

More tags

...

configure.cache.* corrected into config.cache.*

...

Default configure cache for creating packages created

First changes to make the rpm package

...

1777 (1 = sticky bit) for the library dir

...

bug fixed

More cleaning in distclean

...

...

...

install file removed

cache usage fixed

...

urls_of_uris.db is now empty

library files added

distclean target added