]> matita.cs.unibo.it Git - helm.git/log
helm.git
21 years agorebuilt
Stefano Zacchiroli [Mon, 9 Dec 2002 11:13:30 +0000 (11:13 +0000)]
rebuilt

21 years agochanged archives to mlgdome2-xslt
Stefano Zacchiroli [Mon, 9 Dec 2002 11:12:47 +0000 (11:12 +0000)]
changed archives to mlgdome2-xslt

21 years agoswitched to automake based build process
Stefano Zacchiroli [Mon, 9 Dec 2002 11:10:31 +0000 (11:10 +0000)]
switched to automake based build process

21 years ago- switched to automake based built
Stefano Zacchiroli [Mon, 9 Dec 2002 11:08:51 +0000 (11:08 +0000)]
- switched to automake based built

21 years agoremoved hand-made Makefile
Stefano Zacchiroli [Mon, 9 Dec 2002 11:08:07 +0000 (11:08 +0000)]
removed hand-made Makefile

21 years agosome done, some new todo!
Stefano Zacchiroli [Fri, 6 Dec 2002 17:53:51 +0000 (17:53 +0000)]
some done, some new todo!

21 years agoadded entry about oo interfaces
Stefano Zacchiroli [Fri, 6 Dec 2002 17:53:35 +0000 (17:53 +0000)]
added entry about oo interfaces

21 years agorebuilt
Stefano Zacchiroli [Fri, 6 Dec 2002 17:53:17 +0000 (17:53 +0000)]
rebuilt

21 years ago- added *.mli
Stefano Zacchiroli [Fri, 6 Dec 2002 17:53:05 +0000 (17:53 +0000)]
- added *.mli

21 years ago- added OO example
Stefano Zacchiroli [Fri, 6 Dec 2002 17:31:00 +0000 (17:31 +0000)]
- added OO example

21 years ago- added exceptions Invalid_header_{name,value}
Stefano Zacchiroli [Fri, 6 Dec 2002 17:27:10 +0000 (17:27 +0000)]
- added exceptions Invalid_header_{name,value}
- added class types connection and daemon

21 years ago- added safe_parse_request{,'} which wrap parse_request{,'} catching
Stefano Zacchiroli [Fri, 6 Dec 2002 17:15:37 +0000 (17:15 +0000)]
- added safe_parse_request{,'} which wrap parse_request{,'} catching
  exceptions and sending error messages to client
- added connection class
- added daemon class

21 years agoimplemented and exported heal_header_name and heal_header_value
Stefano Zacchiroli [Fri, 6 Dec 2002 17:04:10 +0000 (17:04 +0000)]
implemented and exported heal_header_name and heal_header_value

21 years ago- added 'constructor' for response class
Stefano Zacchiroli [Fri, 6 Dec 2002 17:01:00 +0000 (17:01 +0000)]
- added 'constructor' for response class
- added methods 'addHeaders' and 'replaceHeaders'

21 years agominor indentation change
Stefano Zacchiroli [Fri, 6 Dec 2002 16:44:50 +0000 (16:44 +0000)]
minor indentation change

21 years ago- split init_socket_and_callback in two functions
Stefano Zacchiroli [Fri, 6 Dec 2002 16:43:38 +0000 (16:43 +0000)]
- split init_socket_and_callback in two functions
- exported init_socket

21 years agoadded 'build_sockaddr'
Stefano Zacchiroli [Fri, 6 Dec 2002 16:40:26 +0000 (16:40 +0000)]
added 'build_sockaddr'

21 years agoremoved now useless (due to automake) Makefile
Stefano Zacchiroli [Fri, 6 Dec 2002 16:37:14 +0000 (16:37 +0000)]
removed now useless (due to automake) Makefile

21 years ago* bug fixed: the property construct did not sort and did not remove duplicates
Claudio Sacerdoti Coen [Fri, 6 Dec 2002 13:13:29 +0000 (13:13 +0000)]
* bug fixed: the property construct did not sort and did not remove duplicates
  from the answer
* Not_found are now always catched in Mqint. Informative exceptions are raised.

21 years ago* ignore things
Luca Padovani [Thu, 5 Dec 2002 13:12:34 +0000 (13:12 +0000)]
* ignore things

21 years ago* empty automake Makefile for ocaml stuff
Luca Padovani [Thu, 5 Dec 2002 13:11:59 +0000 (13:11 +0000)]
* empty automake Makefile for ocaml stuff

21 years ago* required for compilation of test
Luca Padovani [Thu, 5 Dec 2002 13:11:37 +0000 (13:11 +0000)]
* required for compilation of test

21 years ago* patches for ocaml compilation
Luca Padovani [Thu, 5 Dec 2002 13:11:11 +0000 (13:11 +0000)]
* patches for ocaml compilation

21 years ago* missed some files
Luca Padovani [Wed, 4 Dec 2002 20:02:14 +0000 (20:02 +0000)]
* missed some files

21 years ago* added C++ binding
Luca Padovani [Wed, 4 Dec 2002 20:00:38 +0000 (20:00 +0000)]
* added C++ binding
* fixed a few things in the C binding
* moving to the global configure.ac
* does not work yet

21 years ago- reverted to only one quotation level in xmluri, libxml2 is now fixed
Stefano Zacchiroli [Wed, 4 Dec 2002 12:38:06 +0000 (12:38 +0000)]
- reverted to only one quotation level in xmluri, libxml2 is now fixed

21 years agorecomputed
Stefano Zacchiroli [Wed, 4 Dec 2002 08:46:33 +0000 (08:46 +0000)]
recomputed

21 years ago- bugfix: removed Http_types -> Http_types dep
Stefano Zacchiroli [Wed, 4 Dec 2002 08:46:25 +0000 (08:46 +0000)]
- bugfix: removed Http_types -> Http_types dep

21 years ago- use Pcre to perform sanity checks
Stefano Zacchiroli [Wed, 4 Dec 2002 08:45:54 +0000 (08:45 +0000)]
- use Pcre to perform sanity checks
- removed is_http* from interface, export only heal_header

21 years ago- first entry for 0.0.7
Stefano Zacchiroli [Wed, 4 Dec 2002 08:44:45 +0000 (08:44 +0000)]
- first entry for 0.0.7

21 years ago- added deb target
Stefano Zacchiroli [Wed, 4 Dec 2002 08:44:27 +0000 (08:44 +0000)]
- added deb target

21 years ago- added sanity checks entry
Stefano Zacchiroli [Tue, 3 Dec 2002 21:39:36 +0000 (21:39 +0000)]
- added sanity checks entry

21 years ago*** empty log message ***
Stefano Zacchiroli [Tue, 3 Dec 2002 21:37:42 +0000 (21:37 +0000)]
*** empty log message ***

21 years ago- added two TODO comment
Stefano Zacchiroli [Tue, 3 Dec 2002 21:37:26 +0000 (21:37 +0000)]
- added two TODO comment

21 years ago- moved exceptions here
Stefano Zacchiroli [Tue, 3 Dec 2002 21:37:04 +0000 (21:37 +0000)]
- moved exceptions here

21 years ago- moved exceptions in http_types
Stefano Zacchiroli [Tue, 3 Dec 2002 21:36:34 +0000 (21:36 +0000)]
- moved exceptions in http_types
- bugfixed some illegal \\ in regular expressions
- added sanity check on setCode, {add,replace}Header

21 years ago- moved exceptions in http_types
Stefano Zacchiroli [Tue, 3 Dec 2002 21:35:22 +0000 (21:35 +0000)]
- moved exceptions in http_types

21 years ago- implemented heal_header that sanity checks an header
Stefano Zacchiroli [Tue, 3 Dec 2002 21:34:14 +0000 (21:34 +0000)]
- implemented heal_header that sanity checks an header
- moved exceptions in http_types

21 years ago- added sanity test on headers while using send_header{,s}
Stefano Zacchiroli [Tue, 3 Dec 2002 21:32:31 +0000 (21:32 +0000)]
- added sanity test on headers while using send_header{,s}

21 years ago- added string_{em,im}plode
Stefano Zacchiroli [Tue, 3 Dec 2002 21:31:19 +0000 (21:31 +0000)]
- added string_{em,im}plode
- moved here reason_phrase_of_code

21 years ago- moved exceptions in http_types
Stefano Zacchiroli [Tue, 3 Dec 2002 21:29:57 +0000 (21:29 +0000)]
- 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

21 years agoadded cvsignores
Stefano Zacchiroli [Tue, 3 Dec 2002 21:27:57 +0000 (21:27 +0000)]
added cvsignores

21 years agoadded Http_constants module
Stefano Zacchiroli [Tue, 3 Dec 2002 21:26:49 +0000 (21:26 +0000)]
added Http_constants module

21 years agom:exist ==> m:exists
Claudio Sacerdoti Coen [Tue, 3 Dec 2002 09:23:58 +0000 (09:23 +0000)]
m:exist ==> m:exists

21 years ago- unset http_proxy to avoid libxslt related problems
Stefano Zacchiroli [Mon, 2 Dec 2002 16:26:09 +0000 (16:26 +0000)]
- unset http_proxy to avoid libxslt related problems

21 years ago- bugfix use Netconding.Url.encode instead of trivial home made encoding
Stefano Zacchiroli [Mon, 2 Dec 2002 16:12:18 +0000 (16:12 +0000)]
- bugfix use Netconding.Url.encode instead of trivial home made encoding

21 years ago- added 2 TODO items
Stefano Zacchiroli [Mon, 2 Dec 2002 16:11:46 +0000 (16:11 +0000)]
- added 2 TODO items

21 years ago- moved supported_properties stuff in uwobo_common
Stefano Zacchiroli [Mon, 2 Dec 2002 15:28:12 +0000 (15:28 +0000)]
- moved supported_properties stuff in uwobo_common
- removed dump_args debugging function

21 years ago- bugfix: wrap Not_found exception with Stylesheet_not_found exception
Stefano Zacchiroli [Mon, 2 Dec 2002 15:27:33 +0000 (15:27 +0000)]
- bugfix: wrap Not_found exception with Stylesheet_not_found exception
  when trying to apply an unloaded stylesheet

21 years ago- written help message
Stefano Zacchiroli [Mon, 2 Dec 2002 15:26:05 +0000 (15:26 +0000)]
- written help message

21 years ago- moved here support_properties stuff
Stefano Zacchiroli [Mon, 2 Dec 2002 15:25:38 +0000 (15:25 +0000)]
- moved here support_properties stuff

21 years agobugfix: install also _mt objects
Stefano Zacchiroli [Mon, 2 Dec 2002 14:05:00 +0000 (14:05 +0000)]
bugfix: install also _mt objects

21 years ago- added an additional level of quoting on xmluri argument because
Stefano Zacchiroli [Mon, 2 Dec 2002 13:23:36 +0000 (13:23 +0000)]
- added an additional level of quoting on xmluri argument because
  libxslt's document() implementation sucks

21 years ago- bugfix (or hack, as you wish :-) for recursive invocations problem:
Stefano Zacchiroli [Sun, 1 Dec 2002 20:06:11 +0000 (20:06 +0000)]
- bugfix (or hack, as you wish :-) for recursive invocations problem:
  fork a new process to handle "/apply" requests

21 years ago- bugfix: add xsl:output element as last child of the root element to
Stefano Zacchiroli [Sun, 1 Dec 2002 20:03:59 +0000 (20:03 +0000)]
- 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

21 years agouse '-thread' option only when linking
Stefano Zacchiroli [Sun, 1 Dec 2002 20:01:06 +0000 (20:01 +0000)]
use '-thread' option only when linking

21 years ago- added damned_recursion example
Stefano Zacchiroli [Sun, 1 Dec 2002 17:20:56 +0000 (17:20 +0000)]
- added damned_recursion example

21 years ago- removed some ':'s
Stefano Zacchiroli [Sun, 1 Dec 2002 17:20:31 +0000 (17:20 +0000)]
- removed some ':'s

21 years ago- added mt and non_mt dirs to dist stuff
Stefano Zacchiroli [Sun, 1 Dec 2002 17:20:17 +0000 (17:20 +0000)]
- added mt and non_mt dirs to dist stuff
- bugfix: added some forgotten targets to .PHONY

21 years ago- split threaded and non threaded implementations
Stefano Zacchiroli [Sun, 1 Dec 2002 16:33:03 +0000 (16:33 +0000)]
- split threaded and non threaded implementations

21 years ago- split threaded and non threaded implementations
Stefano Zacchiroli [Sun, 1 Dec 2002 16:32:46 +0000 (16:32 +0000)]
- split threaded and non threaded implementations
- factorized out code for initialization of server socket and 'standard'
  callback

21 years agosnapshot Fri, 29 Nov 2002 17:17:46 +0100 zack
Stefano Zacchiroli [Fri, 29 Nov 2002 16:18:00 +0000 (16:18 +0000)]
snapshot Fri, 29 Nov 2002 17:17:46 +0100 zack

21 years agosnapshot Fri, 29 Nov 2002 12:38:23 +0100 zack
Stefano Zacchiroli [Fri, 29 Nov 2002 11:38:49 +0000 (11:38 +0000)]
snapshot Fri, 29 Nov 2002 12:38:23 +0100 zack

21 years agoadded 0.0.2 entry
Stefano Zacchiroli [Fri, 29 Nov 2002 11:27:54 +0000 (11:27 +0000)]
added 0.0.2 entry

21 years agouse saveResultToChannel instead of gdome serialization to save test
Stefano Zacchiroli [Fri, 29 Nov 2002 11:27:32 +0000 (11:27 +0000)]
use saveResultToChannel instead of gdome serialization to save test
results

21 years agoimplemented saveResultToChannel
Stefano Zacchiroli [Fri, 29 Nov 2002 11:26:58 +0000 (11:26 +0000)]
implemented saveResultToChannel

21 years agobumped micro version to 2
Stefano Zacchiroli [Fri, 29 Nov 2002 11:26:30 +0000 (11:26 +0000)]
bumped micro version to 2

21 years ago- slices of io.h from ocaml source tree to retrieve file descriptor
Stefano Zacchiroli [Fri, 29 Nov 2002 11:26:13 +0000 (11:26 +0000)]
- slices of io.h from ocaml source tree to retrieve file descriptor
  from channel structures

21 years ago- use saveResultTo* functions instead of gdome serialization to write
Stefano Zacchiroli [Fri, 29 Nov 2002 11:25:16 +0000 (11:25 +0000)]
- use saveResultTo* functions instead of gdome serialization to write
  test results

21 years ago- added saveResultTo{Filename,File,Fd}
Stefano Zacchiroli [Fri, 29 Nov 2002 11:24:40 +0000 (11:24 +0000)]
- added saveResultTo{Filename,File,Fd}

21 years agoadded -Wall flag to gcc invocation
Stefano Zacchiroli [Fri, 29 Nov 2002 11:24:12 +0000 (11:24 +0000)]
added -Wall flag to gcc invocation

21 years agobumped version 0.0.2
Stefano Zacchiroli [Fri, 29 Nov 2002 11:23:10 +0000 (11:23 +0000)]
bumped version 0.0.2

21 years agoadded LICENSE files (LICENSE-INRIA if for ocaml-io.h)
Stefano Zacchiroli [Fri, 29 Nov 2002 11:22:45 +0000 (11:22 +0000)]
added LICENSE files (LICENSE-INRIA if for ocaml-io.h)

21 years ago- added versioned deps and build deps
Stefano Zacchiroli [Fri, 29 Nov 2002 00:57:23 +0000 (00:57 +0000)]
- added versioned deps and build deps
- added versioned provides

21 years agoremoved verbatim GPL license, replaced with a reference to
Stefano Zacchiroli [Fri, 29 Nov 2002 00:56:21 +0000 (00:56 +0000)]
removed verbatim GPL license, replaced with a reference to
/usr/share/common-licenses/GPL

21 years agosnapshot Wed, 27 Nov 2002 18:10:57 +0100
Stefano Zacchiroli [Wed, 27 Nov 2002 17:11:37 +0000 (17:11 +0000)]
snapshot Wed, 27 Nov 2002 18:10:57 +0100

21 years agoobjectName patched.
natile [Wed, 27 Nov 2002 16:03:29 +0000 (16:03 +0000)]
objectName patched.

21 years agosnapshot Wed, 27 Nov 2002 14:47:14 +0100
Stefano Zacchiroli [Wed, 27 Nov 2002 13:47:32 +0000 (13:47 +0000)]
snapshot Wed, 27 Nov 2002 14:47:14 +0100

21 years agoRelation patched, property added.
natile [Wed, 27 Nov 2002 11:09:26 +0000 (11:09 +0000)]
Relation patched, property added.

21 years agosnapshot Wed, 27 Nov 2002 02:45:45 +0100
Stefano Zacchiroli [Wed, 27 Nov 2002 01:45:57 +0000 (01:45 +0000)]
snapshot Wed, 27 Nov 2002 02:45:45 +0100

21 years agocvs snapshot Tue, 26 Nov 2002 18:41:34 +0100
Stefano Zacchiroli [Tue, 26 Nov 2002 17:42:15 +0000 (17:42 +0000)]
cvs snapshot Tue, 26 Nov 2002 18:41:34 +0100

21 years agolexer patched
Ferruccio Guidi [Tue, 26 Nov 2002 17:30:51 +0000 (17:30 +0000)]
lexer patched

21 years ago- added support for empty bindings like "a=" or simple "a" in query
Stefano Zacchiroli [Tue, 26 Nov 2002 15:40:03 +0000 (15:40 +0000)]
- added support for empty bindings like "a=" or simple "a" in query
  arguments
- s/Malformed_query_binding/Malformed_query_part/g

21 years agos/param_all/paramAll/g
Stefano Zacchiroli [Tue, 26 Nov 2002 15:38:39 +0000 (15:38 +0000)]
s/param_all/paramAll/g

21 years agoparse DISTVERSION from debian/changelog
Stefano Zacchiroli [Tue, 26 Nov 2002 15:37:16 +0000 (15:37 +0000)]
parse DISTVERSION from debian/changelog

21 years agouwobo ocaml daily snapshot: Tue, 26 Nov 2002 14:26:36 +0100
Stefano Zacchiroli [Tue, 26 Nov 2002 13:27:22 +0000 (13:27 +0000)]
uwobo ocaml daily snapshot: Tue, 26 Nov 2002 14:26:36 +0100

21 years agodebug output removed
Ferruccio Guidi [Tue, 26 Nov 2002 11:48:52 +0000 (11:48 +0000)]
debug output removed

21 years agoMathQL.ml updated
Ferruccio Guidi [Tue, 26 Nov 2002 11:43:29 +0000 (11:43 +0000)]
MathQL.ml updated

21 years agoChanging directory for tmp files
Pietro Di Lena [Mon, 25 Nov 2002 18:43:11 +0000 (18:43 +0000)]
Changing directory for tmp files

21 years agoNow it is possible to define a 'cookable' operator with arity = 0 and hide = 0
Pietro Di Lena [Mon, 25 Nov 2002 18:14:21 +0000 (18:14 +0000)]
Now it is possible to define a 'cookable' operator with arity = 0 and  hide = 0

21 years agoChanged cic:/Coq/Sets/Ensembles/Ensembles/Empty_set.ind definition
Pietro Di Lena [Mon, 25 Nov 2002 18:04:30 +0000 (18:04 +0000)]
Changed cic:/Coq/Sets/Ensembles/Ensembles/Empty_set.ind definition

21 years agoNow value returned by get_no_params function is a number (not a string)
Pietro Di Lena [Mon, 25 Nov 2002 17:54:20 +0000 (17:54 +0000)]
Now value returned by get_no_params function is a number (not a string)

21 years ago- added method 'param_all' to request objects
Stefano Zacchiroli [Mon, 25 Nov 2002 10:06:29 +0000 (10:06 +0000)]
- added method 'param_all' to request objects

21 years agoDebugging prints removed.
natile [Fri, 22 Nov 2002 18:01:49 +0000 (18:01 +0000)]
Debugging prints removed.

21 years agoMathql_interpreter now using db helm_mowgli_new_schema.
natile [Fri, 22 Nov 2002 17:59:20 +0000 (17:59 +0000)]
Mathql_interpreter now using db helm_mowgli_new_schema.

21 years ago- added var SEARCH_ENGINE_PORT
Stefano Zacchiroli [Fri, 22 Nov 2002 13:46:41 +0000 (13:46 +0000)]
- added var SEARCH_ENGINE_PORT

21 years agoModified Files:
Irene Schena [Fri, 22 Nov 2002 13:15:49 +0000 (13:15 +0000)]
Modified Files:
1)schema-h schema-hth: updated

21 years agocvsignore for html documentation dir
Stefano Zacchiroli [Fri, 22 Nov 2002 10:48:47 +0000 (10:48 +0000)]
cvsignore for html documentation dir

21 years ago- added ocamldoc documentation in debian package
Stefano Zacchiroli [Fri, 22 Nov 2002 10:48:34 +0000 (10:48 +0000)]
- added ocamldoc documentation in debian package

21 years ago- fixed wrong @raise ocamldoc tags
Stefano Zacchiroli [Fri, 22 Nov 2002 10:48:03 +0000 (10:48 +0000)]
- fixed wrong @raise ocamldoc tags