| 2002-12-05 |
Luca Padovani | * empty automake Makefile for ocaml stuff |
tree | commitdiff |
| 2002-12-05 |
Luca Padovani | * required for compilation of test |
tree | commitdiff |
| 2002-12-05 |
Luca Padovani | * patches for ocaml compilation |
tree | commitdiff |
| 2002-12-04 |
Luca Padovani | * missed some files |
tree | commitdiff |
| 2002-12-04 |
Luca Padovani | * added C++ binding |
tree | commitdiff |
| 2002-12-04 |
Stefano Zacchiroli | - reverted to only one quotation level in xmluri, libxm... |
tree | commitdiff |
| 2002-12-04 |
Stefano Zacchiroli | recomputed |
tree | commitdiff |
| 2002-12-04 |
Stefano Zacchiroli | - bugfix: removed Http_types -> Http_types dep |
tree | commitdiff |
| 2002-12-04 |
Stefano Zacchiroli | - use Pcre to perform sanity checks |
tree | commitdiff |
| 2002-12-04 |
Stefano Zacchiroli | - first entry for 0.0.7 |
tree | commitdiff |
| 2002-12-04 |
Stefano Zacchiroli | - added deb target |
tree | commitdiff |
| 2002-12-03 |
Stefano Zacchiroli | - added sanity checks entry |
tree | commitdiff |
| 2002-12-03 |
Stefano Zacchiroli | *** empty log message *** |
tree | commitdiff |
| 2002-12-03 |
Stefano Zacchiroli | - added two TODO comment |
tree | commitdiff |
| 2002-12-03 |
Stefano Zacchiroli | - moved exceptions here |
tree | commitdiff |
| 2002-12-03 |
Stefano Zacchiroli | - moved exceptions in http_types |
tree | commitdiff |
| 2002-12-03 |
Stefano Zacchiroli | - moved exceptions in http_types |
tree | commitdiff |
| 2002-12-03 |
Stefano Zacchiroli | - implemented heal_header that sanity checks an header |
tree | commitdiff |
| 2002-12-03 |
Stefano Zacchiroli | - added sanity test on headers while using send_header{,s} |
tree | commitdiff |
| 2002-12-03 |
Stefano Zacchiroli | - added string_{em,im}plode |
tree | commitdiff |
| 2002-12-03 |
Stefano Zacchiroli | - moved exceptions in http_types |
tree | commitdiff |
| 2002-12-03 |
Stefano Zacchiroli | added cvsignores |
tree | commitdiff |
| 2002-12-03 |
Stefano Zacchiroli | added Http_constants module |
tree | commitdiff |
| 2002-12-03 |
Claudio Sacerdoti... | m:exist ==> m:exists |
tree | commitdiff |
| 2002-12-02 |
Stefano Zacchiroli | - unset http_proxy to avoid libxslt related problems |
tree | commitdiff |
| 2002-12-02 |
Stefano Zacchiroli | - bugfix use Netconding.Url.encode instead of trivial... |
tree | commitdiff |
| 2002-12-02 |
Stefano Zacchiroli | - added 2 TODO items |
tree | commitdiff |
| 2002-12-02 |
Stefano Zacchiroli | - moved supported_properties stuff in uwobo_common |
tree | commitdiff |
| 2002-12-02 |
Stefano Zacchiroli | - bugfix: wrap Not_found exception with Stylesheet_not_... |
tree | commitdiff |
| 2002-12-02 |
Stefano Zacchiroli | - written help message |
tree | commitdiff |
| 2002-12-02 |
Stefano Zacchiroli | - moved here support_properties stuff |
tree | commitdiff |
| 2002-12-02 |
Stefano Zacchiroli | bugfix: install also _mt objects |
tree | commitdiff |
| 2002-12-02 |
Stefano Zacchiroli | - added an additional level of quoting on xmluri argume... |
tree | commitdiff |
| 2002-12-01 |
Stefano Zacchiroli | - bugfix (or hack, as you wish :-) for recursive invoca... |
tree | commitdiff |
| 2002-12-01 |
Stefano Zacchiroli | - bugfix: add xsl:output element as last child of the... |
tree | commitdiff |
| 2002-12-01 |
Stefano Zacchiroli | use '-thread' option only when linking |
tree | commitdiff |
| 2002-12-01 |
Stefano Zacchiroli | - added damned_recursion example |
tree | commitdiff |
| 2002-12-01 |
Stefano Zacchiroli | - removed some ':'s |
tree | commitdiff |
| 2002-12-01 |
Stefano Zacchiroli | - added mt and non_mt dirs to dist stuff |
tree | commitdiff |
| 2002-12-01 |
Stefano Zacchiroli | - split threaded and non threaded implementations |
tree | commitdiff |
| 2002-12-01 |
Stefano Zacchiroli | - split threaded and non threaded implementations |
tree | commitdiff |
| 2002-11-29 |
Stefano Zacchiroli | snapshot Fri, 29 Nov 2002 17:17:46 +0100 zack |
tree | commitdiff |
| 2002-11-29 |
Stefano Zacchiroli | snapshot Fri, 29 Nov 2002 12:38:23 +0100 zack |
tree | commitdiff |
| 2002-11-29 |
Stefano Zacchiroli | added 0.0.2 entry |
tree | commitdiff |
| 2002-11-29 |
Stefano Zacchiroli | use saveResultToChannel instead of gdome serialization... |
tree | commitdiff |
| 2002-11-29 |
Stefano Zacchiroli | implemented saveResultToChannel |
tree | commitdiff |
| 2002-11-29 |
Stefano Zacchiroli | bumped micro version to 2 |
tree | commitdiff |
| 2002-11-29 |
Stefano Zacchiroli | - slices of io.h from ocaml source tree to retrieve... |
tree | commitdiff |
| 2002-11-29 |
Stefano Zacchiroli | - use saveResultTo* functions instead of gdome serializ... |
tree | commitdiff |
| 2002-11-29 |
Stefano Zacchiroli | - added saveResultTo{Filename,File,Fd} |
tree | commitdiff |
| 2002-11-29 |
Stefano Zacchiroli | added -Wall flag to gcc invocation |
tree | commitdiff |
| 2002-11-29 |
Stefano Zacchiroli | bumped version 0.0.2 |
tree | commitdiff |
| 2002-11-29 |
Stefano Zacchiroli | added LICENSE files (LICENSE-INRIA if for ocaml-io.h) |
tree | commitdiff |
| 2002-11-29 |
Stefano Zacchiroli | - added versioned deps and build deps |
tree | commitdiff |
| 2002-11-29 |
Stefano Zacchiroli | removed verbatim GPL license, replaced with a reference to |
tree | commitdiff |
| 2002-11-27 |
Stefano Zacchiroli | snapshot Wed, 27 Nov 2002 18:10:57 +0100 |
tree | commitdiff |
| 2002-11-27 |
natile | objectName patched. |
tree | commitdiff |
| 2002-11-27 |
Stefano Zacchiroli | snapshot Wed, 27 Nov 2002 14:47:14 +0100 |
tree | commitdiff |
| 2002-11-27 |
natile | Relation patched, property added. |
tree | commitdiff |
| 2002-11-27 |
Stefano Zacchiroli | snapshot Wed, 27 Nov 2002 02:45:45 +0100 |
tree | commitdiff |
| 2002-11-26 |
Stefano Zacchiroli | cvs snapshot Tue, 26 Nov 2002 18:41:34 +0100 |
tree | commitdiff |
| 2002-11-26 |
Ferruccio Guidi | lexer patched |
tree | commitdiff |
| 2002-11-26 |
Stefano Zacchiroli | - added support for empty bindings like "a=" or simple... |
tree | commitdiff |
| 2002-11-26 |
Stefano Zacchiroli | s/param_all/paramAll/g |
tree | commitdiff |
| 2002-11-26 |
Stefano Zacchiroli | parse DISTVERSION from debian/changelog |
tree | commitdiff |
| 2002-11-26 |
Stefano Zacchiroli | uwobo ocaml daily snapshot: Tue, 26 Nov 2002 14:26... |
tree | commitdiff |
| 2002-11-26 |
Ferruccio Guidi | debug output removed |
tree | commitdiff |
| 2002-11-26 |
Ferruccio Guidi | MathQL.ml updated |
tree | commitdiff |
| 2002-11-25 |
Pietro Di Lena | Changing directory for tmp files |
tree | commitdiff |
| 2002-11-25 |
Pietro Di Lena | Now it is possible to define a 'cookable' operator... |
tree | commitdiff |
| 2002-11-25 |
Pietro Di Lena | Changed cic:/Coq/Sets/Ensembles/Ensembles/Empty_set... |
tree | commitdiff |
| 2002-11-25 |
Pietro Di Lena | Now value returned by get_no_params function is a numbe... |
tree | commitdiff |
| 2002-11-25 |
Stefano Zacchiroli | - added method 'param_all' to request objects |
tree | commitdiff |
| 2002-11-22 |
natile | Debugging prints removed. |
tree | commitdiff |
| 2002-11-22 |
natile | Mathql_interpreter now using db helm_mowgli_new_schema. |
tree | commitdiff |
| 2002-11-22 |
Stefano Zacchiroli | - added var SEARCH_ENGINE_PORT |
tree | commitdiff |
| 2002-11-22 |
Irene Schena | Modified Files: |
tree | commitdiff |
| 2002-11-22 |
Stefano Zacchiroli | cvsignore for html documentation dir |
tree | commitdiff |
| 2002-11-22 |
Stefano Zacchiroli | - added ocamldoc documentation in debian package |
tree | commitdiff |
| 2002-11-22 |
Stefano Zacchiroli | - fixed wrong @raise ocamldoc tags |
tree | commitdiff |
| 2002-11-22 |
Stefano Zacchiroli | - added targets relative to ocamldoc doc generation |
tree | commitdiff |
| 2002-11-22 |
Stefano Zacchiroli | - bumped version to 0.0.5 |
tree | commitdiff |
| 2002-11-22 |
Stefano Zacchiroli | - removed old entries from TODO |
tree | commitdiff |
| 2002-11-22 |
Stefano Zacchiroli | - added support for multithreaded daemons |
tree | commitdiff |
| 2002-11-21 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2002-11-21 |
Claudio Sacerdoti... | First version of the stuff to create the DB. |
tree | commitdiff |
| 2002-11-21 |
Claudio Sacerdoti... | The notational stylesheets from CIC to MathML Content... |
tree | commitdiff |
| 2002-11-21 |
Claudio Sacerdoti... | First version of Di Lena's stylesheet generator (for... |
tree | commitdiff |
| 2002-11-21 |
Claudio Sacerdoti... | typo fixed |
tree | commitdiff |
| 2002-11-21 |
Claudio Sacerdoti... | *.yy.c removed |
tree | commitdiff |
| 2002-11-21 |
Claudio Sacerdoti... | *.rdf ==> *.xml |
tree | commitdiff |
| 2002-11-21 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2002-11-21 |
Claudio Sacerdoti... | <h:Object> is now repeated every time a MainHypothesis... |
tree | commitdiff |
| 2002-11-20 |
Claudio Sacerdoti... | Bug fixed: refSort were exported (as refObj) also when... |
tree | commitdiff |
| 2002-11-20 |
Claudio Sacerdoti... | rdf:parseType="Resource" added to backPointer |
tree | commitdiff |
| 2002-11-20 |
Claudio Sacerdoti... | * New metadata for refSort and refRel |
tree | commitdiff |
| 2002-11-20 |
Stefano Zacchiroli | TODO list |
tree | commitdiff |
| 2002-11-20 |
Stefano Zacchiroli | - changed invoked daemons for proof checker, draw graph... |
tree | commitdiff |
| 2002-11-20 |
Stefano Zacchiroli | added env var DRAW_GRAPH_DIR |
tree | commitdiff |
| 2002-11-20 |
Stefano Zacchiroli | - get working directory from env var DRAW_GRAPH_DIR |
tree | commitdiff |
| next |
projects / helm.git / history