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

- http debugging value copied from daemon debugging value

<h:depth> must precede <h:occurrence> (to make metadata inversion easier)

bumped version to 0.0.4

Debug code removed.

- bugfix: perform GET parameter parsing on HTTP encoded urls _then_
  decode them
- removed now useless pair_of_2_sized_list

mqint patched (compilation warning removed)

Minor bug fixes:
 - forward_{rel|sort}.rdf ==> forward_{rel|sort}.xml
 - forward_{rel|sort}.xml were not valid XML documents

- added a lot of debugging messages
- changed semantics:
  - overflow check is now before already_in check
  - old uris are not forgotten

Now Pattern module really exists in repository.

Pattern module added.

added ocaml version of draw_graph and uri_set_queue

New metadata for sort and rel.
New metadata schemas.

Relation: inverse switch added.

Modified Files:
1) schema-h schema-hth: work in progress schemas

generator patched for new semantics with structurated attribute names

structurated attribute names added

bumped version to 0.0.3

renamed tcp_server module in http_tcp_server to avoid future
name clashes

bug fix: reset timeout after processing request in Tcp_server.simple

*** empty log message ***

Added debug flag and debug_print function

.cvsignore for examples dir

- split http_parser module (all code that parse http requests and
  responses)
- split tcp_server module (which contains different [actually 2]
  implementation of Unix.establish_server like functions)
- implemented a tcp_server which doesn't fork
- added ~fork parameter to Http_daemon.start* functions

oopss, I forgot to commit .depend last time ...

backported new pxp module from branch V7_3_new_exportation
Close an incredible bug (Neturl.Malformed_URL) in fully ocaml proof checker.

replaced fun with inverse attribute

added inverse switch for relation and attribute
removed fun

name fix due to changes in libhttp-ocaml (e.g. s/Http\.Daemon/Http_daemon/)

Attribute files added.

Unused files removed.

load http.cma instead of http.cmo

no longer use -pack and Http.*, now interface is the usual Http_*

Now use cm{,x}a

Changed source-package name to "ocaml-http"

Attribute patched: now takes an extra argument of type bool.

Attribute patched with inverse function.

switched to OCaml HTTP module

added ocaml-http 0.0.1

first commit

Fun patched.

bug found:
 - >= is splitted in > or = ,so unification fails