Files with annotations available now use a different icon

Used for files where annotations are availables

annotations now taken in account (as was for naturalLanguage)

Fixed bug in .ann extension handling.

Syntax error + new indenting

Configuration on-line now pass the parameters

Initial revision

Last update before dismission

Added dtd reference in ls method while generating xml output.

Modified Files:
1) expandobj.xsl: comments
2) objcontent.xsl, params.xsl: parameters abstraction from objcontent to params

Modified Files:
1) content_to_html.xsl: removed mtext, modified output and added
naturalLanguage
2) theory_content.xsl: generate only content markup for theories
3) theory_pres.xsl: generate only html pres for theories, starting
from the corresponding content markup
Added Files:
1) expandobj.xsl: expand objects generating the corresponding content
markup or the pres one, starting from the markup for theories

the version command has been renamed into help, the syntax of the available
commands will be added soon

processorURL must now already end with a /

Now the on-line interface can use a Getter and an UWOBO on any machine

Bug fixed: now propagates informations about inner-types usage and
natural language when following hyperlinks.

WARNING: to create an hyperlink, it is no more enough to concatenate
 $header and the URI. You need to call the new makeURL() named-template.

*** empty log message ***

getter flags considered

Added ordering in ann and types flags

library3 ==> javascript

New on-line interface

New online interface

The .types files are now read directly by the stylesheets.
Two new params added: naturalLanguage and CICURI

Now uses the param keys

new version of ls,
now meet the specifications ?????

added eq_ind

Fixed a bug in CGI creation, method "update" now work ! :)

patch for libxml2 new release

WebEQ definitely no more used

Changed syntax for 'ls' method:
  wget http....localhost:8081/ls?baseuri=<uri>&format=[txt|xml]
Now is possibile to:
 - use ls for 'cic:' uris
 - use ls for 'theory:' uris
 - coming soon support for 'any' uris
Now getter use CGI module, added this dep. to configure.in

commented processing instructions for Cocoon, we do not use it any more

now do unescaping of incoming URI

added the patch on-the-fly for DTDs, fixed the script for launching the getter at boot time

New stylesheets from content to html.

-- andrea

Added 'ls' method: return a list of uri that begin with a given uri.
Response may be in CR-separated line or in a simple XML document.

helm_wget subroutine now use LWP module and doesn't use any more external
wget program

*** empty log message ***

*** empty log message ***

*** empty log message ***

a bug in the .spec.in :-))))

new version to upgrade to libxml 2.3.0

added support for application-time parameters

some improvement for parameters, configuration

tmpdir ==> tmp_dir, minor fixes waiting for the stable version

Removed rebuilding of urls_of_uris.db on update user request.
This feature now is handled by http_getter.
Also modified file 'http_getter.pl.in' from module 'http_getter'.

modified "update" request handling, now getter rebuild urls_of_uris.db.
(feature moved from mmlinterface to http_getter)
Also modified file 'getter.ml' from module 'interface'

added encoding

version information

added comment about missing checks

xsltProcessorHTTP.ml : no temp file created,
the problem was due to a libxml bug fixed in version 2.2.9, upgrade!

config/style-configuration.xml : a little mistake in the default configuration

added htlm_cvs_interface.spec

A lot of changes to support the new UWOBO stylesheet processor:

Modified Files:

Makefile.in : of course, some new source files
configuration.ml.in : better support for configuration variables and overriding
getter.ml : now it is just a wrapper for clientHTTP, still needs some serious
rearrangement
getter.mli : the interface changed a little bit
mmlinterface.ml : call for the initialization of the processor
pxpUriResolver.ml : the resolver is now more reliable
styleConfiguration.ml : retrieve and parse stylesheet configuration
xsltProcessor.ml : it is now a simple wrapper for xsltProcessorHTTP

Added Files:
clientHTTP.ml : a simple client HTTP (a minimal wrapper for netclient)
xsltProcessorHTTP.ml : send HTTP requests to the processor
xsltProcessorUDP.ml : just in case we want to implement both
methods for invoking the processor

styles_dir is now style_dir
the getter now recognize one further command, getstyleconf, to retrieve
the stylesheet configuration file (and possibly its dtd)

added style_dir in configuration file
tmpdir is now tmp_dir

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