* empty automake Makefile for ocaml stuff

* required for compilation of test

* patches for ocaml compilation

* missed some files

* added C++ binding
* fixed a few things in the C binding
* moving to the global configure.ac
* does not work yet

- reverted to only one quotation level in xmluri, libxml2 is now fixed

recomputed

- bugfix: removed Http_types -> Http_types dep

- use Pcre to perform sanity checks
- removed is_http* from interface, export only heal_header

- first entry for 0.0.7

- added deb target

- added sanity checks entry

*** empty log message ***

- added two TODO comment

- moved exceptions here

- moved exceptions in http_types
- bugfixed some illegal \\ in regular expressions
- added sanity check on setCode, {add,replace}Header

- moved exceptions in http_types

- implemented heal_header that sanity checks an header
- moved exceptions in http_types

- added sanity test on headers while using send_header{,s}

- added string_{em,im}plode
- moved here reason_phrase_of_code

- moved exceptions in http_types
- moved reason_phrase_of_code in in http_misc because it should not be
  used by users
- removed useless reason_phrase_of_status
- moved constants to http_constants

added cvsignores

added Http_constants module

m:exist ==> m:exists

- unset http_proxy to avoid libxslt related problems

- bugfix use Netconding.Url.encode instead of trivial home made encoding

- added 2 TODO items

- moved supported_properties stuff in uwobo_common
- removed dump_args debugging function

- bugfix: wrap Not_found exception with Stylesheet_not_found exception
  when trying to apply an unloaded stylesheet

- written help message

- moved here support_properties stuff

bugfix: install also _mt objects

- added an additional level of quoting on xmluri argument because
  libxslt's document() implementation sucks

- bugfix (or hack, as you wish :-) for recursive invocations problem:
  fork a new process to handle "/apply" requests

- bugfix: add xsl:output element as last child of the root element to
  avoid violation of XSLT specifications when one or more xsl:import
  elements are used
- added logging of received parameters for debugging purposes

use '-thread' option only when linking

- added damned_recursion example

- removed some ':'s

- added mt and non_mt dirs to dist stuff
- bugfix: added some forgotten targets to .PHONY

- split threaded and non threaded implementations

- split threaded and non threaded implementations
- factorized out code for initialization of server socket and 'standard'
  callback

snapshot Fri, 29 Nov 2002 17:17:46 +0100 zack

snapshot Fri, 29 Nov 2002 12:38:23 +0100 zack

added 0.0.2 entry

use saveResultToChannel instead of gdome serialization to save test
results

implemented saveResultToChannel

bumped micro version to 2

- slices of io.h from ocaml source tree to retrieve file descriptor
  from channel structures

- use saveResultTo* functions instead of gdome serialization to write
  test results

- added saveResultTo{Filename,File,Fd}

added -Wall flag to gcc invocation

bumped version 0.0.2

added LICENSE files (LICENSE-INRIA if for ocaml-io.h)

- added versioned deps and build deps
- added versioned provides

removed verbatim GPL license, replaced with a reference to
/usr/share/common-licenses/GPL

snapshot Wed, 27 Nov 2002 18:10:57 +0100

objectName patched.

snapshot Wed, 27 Nov 2002 14:47:14 +0100

Relation patched, property added.

snapshot Wed, 27 Nov 2002 02:45:45 +0100

cvs snapshot Tue, 26 Nov 2002 18:41:34 +0100

lexer patched

- added support for empty bindings like "a=" or simple "a" in query
  arguments
- s/Malformed_query_binding/Malformed_query_part/g

s/param_all/paramAll/g

parse DISTVERSION from debian/changelog

uwobo ocaml daily snapshot: Tue, 26 Nov 2002 14:26:36 +0100

debug output removed

MathQL.ml updated

Changing directory for tmp files

Now it is possible to define a 'cookable' operator with arity = 0 and  hide = 0

Changed cic:/Coq/Sets/Ensembles/Ensembles/Empty_set.ind definition

Now value returned by get_no_params function is a number (not a string)

- added method 'param_all' to request objects

Debugging prints removed.

Mathql_interpreter now using db helm_mowgli_new_schema.

- added var SEARCH_ENGINE_PORT

Modified Files:
1)schema-h schema-hth: updated

cvsignore for html documentation dir

- added ocamldoc documentation in debian package

- fixed wrong @raise ocamldoc tags

- added targets relative to ocamldoc doc generation

- bumped version to 0.0.5

- removed old entries from TODO
- updated changelog

- added support for multithreaded daemons
- added a generic 'respond' function, used also as low level for other
  respond functions
- added support for chdir in a given document root before starting
- added toString method to response objects

...

First version of the stuff to create the DB.

The notational stylesheets from CIC to MathML Content are now automatically
generated by Di Lena's meta_style. Rember to add a new entry to servers.txt!!!

First version of Di Lena's stylesheet generator (for the HELM DTD).

typo fixed

*.yy.c removed

*.rdf ==> *.xml

...

<h:Object> is now repeated every time a MainHypothesis (with its depth) is
printed. The RDF file gets a bit bigger, but lexical analysing it becomes
much easier.

Bug fixed: refSort were exported (as refObj) also when occurring InHypothesis
and InConclusion.

rdf:parseType="Resource" added to backPointer

* New metadata for refSort and refRel
* New metadata schema

TODO list

- changed invoked daemons for proof checker, draw graph and uri set
  queue to ocaml ones
- bugfix: use different pid files for old a new libraries daemons

added env var DRAW_GRAPH_DIR

- get working directory from env var DRAW_GRAPH_DIR
- in case of make failure (which in turn usually depends on uwobo's
  failure) return an error message in HTML format
- bugfix: return html file instead of ... nothing :)
- bugfix: print real current directory