| 2002-12-03 |
Stefano Zacchiroli | added cvsignores |
commit | commitdiff | tree | snapshot |
| 2002-12-03 |
Stefano Zacchiroli | added Http_constants module |
commit | commitdiff | tree | snapshot |
| 2002-12-03 |
Claudio Sacerdoti... | m:exist ==> m:exists |
commit | commitdiff | tree | snapshot |
| 2002-12-02 |
Stefano Zacchiroli | - unset http_proxy to avoid libxslt related problems |
commit | commitdiff | tree | snapshot |
| 2002-12-02 |
Stefano Zacchiroli | - bugfix use Netconding.Url.encode instead of trivial... |
commit | commitdiff | tree | snapshot |
| 2002-12-02 |
Stefano Zacchiroli | - added 2 TODO items |
commit | commitdiff | tree | snapshot |
| 2002-12-02 |
Stefano Zacchiroli | - moved supported_properties stuff in uwobo_common |
commit | commitdiff | tree | snapshot |
| 2002-12-02 |
Stefano Zacchiroli | - bugfix: wrap Not_found exception with Stylesheet_not_... |
commit | commitdiff | tree | snapshot |
| 2002-12-02 |
Stefano Zacchiroli | - written help message |
commit | commitdiff | tree | snapshot |
| 2002-12-02 |
Stefano Zacchiroli | - moved here support_properties stuff |
commit | commitdiff | tree | snapshot |
| 2002-12-02 |
Stefano Zacchiroli | bugfix: install also _mt objects |
commit | commitdiff | tree | snapshot |
| 2002-12-02 |
Stefano Zacchiroli | - added an additional level of quoting on xmluri argume... |
commit | commitdiff | tree | snapshot |
| 2002-12-01 |
Stefano Zacchiroli | - bugfix (or hack, as you wish :-) for recursive invoca... |
commit | commitdiff | tree | snapshot |
| 2002-12-01 |
Stefano Zacchiroli | - bugfix: add xsl:output element as last child of the... |
commit | commitdiff | tree | snapshot |
| 2002-12-01 |
Stefano Zacchiroli | use '-thread' option only when linking |
commit | commitdiff | tree | snapshot |
| 2002-12-01 |
Stefano Zacchiroli | - added damned_recursion example |
commit | commitdiff | tree | snapshot |
| 2002-12-01 |
Stefano Zacchiroli | - removed some ':'s |
commit | commitdiff | tree | snapshot |
| 2002-12-01 |
Stefano Zacchiroli | - added mt and non_mt dirs to dist stuff |
commit | commitdiff | tree | snapshot |
| 2002-12-01 |
Stefano Zacchiroli | - split threaded and non threaded implementations |
commit | commitdiff | tree | snapshot |
| 2002-12-01 |
Stefano Zacchiroli | - split threaded and non threaded implementations |
commit | commitdiff | tree | snapshot |
| 2002-11-29 |
Stefano Zacchiroli | snapshot Fri, 29 Nov 2002 17:17:46 +0100 zack |
commit | commitdiff | tree | snapshot |
| 2002-11-29 |
Stefano Zacchiroli | snapshot Fri, 29 Nov 2002 12:38:23 +0100 zack |
commit | commitdiff | tree | snapshot |
| 2002-11-29 |
Stefano Zacchiroli | added 0.0.2 entry |
commit | commitdiff | tree | snapshot |
| 2002-11-29 |
Stefano Zacchiroli | use saveResultToChannel instead of gdome serialization... |
commit | commitdiff | tree | snapshot |
| 2002-11-29 |
Stefano Zacchiroli | implemented saveResultToChannel |
commit | commitdiff | tree | snapshot |
| 2002-11-29 |
Stefano Zacchiroli | bumped micro version to 2 |
commit | commitdiff | tree | snapshot |
| 2002-11-29 |
Stefano Zacchiroli | - slices of io.h from ocaml source tree to retrieve... |
commit | commitdiff | tree | snapshot |
| 2002-11-29 |
Stefano Zacchiroli | - use saveResultTo* functions instead of gdome serializ... |
commit | commitdiff | tree | snapshot |
| 2002-11-29 |
Stefano Zacchiroli | - added saveResultTo{Filename,File,Fd} |
commit | commitdiff | tree | snapshot |
| 2002-11-29 |
Stefano Zacchiroli | added -Wall flag to gcc invocation |
commit | commitdiff | tree | snapshot |
| 2002-11-29 |
Stefano Zacchiroli | bumped version 0.0.2 |
commit | commitdiff | tree | snapshot |
| 2002-11-29 |
Stefano Zacchiroli | added LICENSE files (LICENSE-INRIA if for ocaml-io.h) |
commit | commitdiff | tree | snapshot |
| 2002-11-29 |
Stefano Zacchiroli | - added versioned deps and build deps |
commit | commitdiff | tree | snapshot |
| 2002-11-29 |
Stefano Zacchiroli | removed verbatim GPL license, replaced with a reference to |
commit | commitdiff | tree | snapshot |
| 2002-11-27 |
Stefano Zacchiroli | snapshot Wed, 27 Nov 2002 18:10:57 +0100 |
commit | commitdiff | tree | snapshot |
| 2002-11-27 |
natile | objectName patched. |
commit | commitdiff | tree | snapshot |
| 2002-11-27 |
Stefano Zacchiroli | snapshot Wed, 27 Nov 2002 14:47:14 +0100 |
commit | commitdiff | tree | snapshot |
| 2002-11-27 |
natile | Relation patched, property added. |
commit | commitdiff | tree | snapshot |
| 2002-11-27 |
Stefano Zacchiroli | snapshot Wed, 27 Nov 2002 02:45:45 +0100 |
commit | commitdiff | tree | snapshot |
| 2002-11-26 |
Stefano Zacchiroli | cvs snapshot Tue, 26 Nov 2002 18:41:34 +0100 |
commit | commitdiff | tree | snapshot |
| 2002-11-26 |
Ferruccio Guidi | lexer patched |
commit | commitdiff | tree | snapshot |
| 2002-11-26 |
Stefano Zacchiroli | - added support for empty bindings like "a=" or simple... |
commit | commitdiff | tree | snapshot |
| 2002-11-26 |
Stefano Zacchiroli | s/param_all/paramAll/g |
commit | commitdiff | tree | snapshot |
| 2002-11-26 |
Stefano Zacchiroli | parse DISTVERSION from debian/changelog |
commit | commitdiff | tree | snapshot |
| 2002-11-26 |
Stefano Zacchiroli | uwobo ocaml daily snapshot: Tue, 26 Nov 2002 14:26... |
commit | commitdiff | tree | snapshot |
| 2002-11-26 |
Ferruccio Guidi | debug output removed |
commit | commitdiff | tree | snapshot |
| 2002-11-26 |
Ferruccio Guidi | MathQL.ml updated |
commit | commitdiff | tree | snapshot |
| 2002-11-25 |
Pietro Di Lena | Changing directory for tmp files |
commit | commitdiff | tree | snapshot |
| 2002-11-25 |
Pietro Di Lena | Now it is possible to define a 'cookable' operator... |
commit | commitdiff | tree | snapshot |
| 2002-11-25 |
Pietro Di Lena | Changed cic:/Coq/Sets/Ensembles/Ensembles/Empty_set... |
commit | commitdiff | tree | snapshot |
| 2002-11-25 |
Pietro Di Lena | Now value returned by get_no_params function is a numbe... |
commit | commitdiff | tree | snapshot |
| 2002-11-25 |
Stefano Zacchiroli | - added method 'param_all' to request objects |
commit | commitdiff | tree | snapshot |
| 2002-11-22 |
natile | Debugging prints removed. |
commit | commitdiff | tree | snapshot |
| 2002-11-22 |
natile | Mathql_interpreter now using db helm_mowgli_new_schema. |
commit | commitdiff | tree | snapshot |
| 2002-11-22 |
Stefano Zacchiroli | - added var SEARCH_ENGINE_PORT |
commit | commitdiff | tree | snapshot |
| 2002-11-22 |
Irene Schena | Modified Files: |
commit | commitdiff | tree | snapshot |
| 2002-11-22 |
Stefano Zacchiroli | cvsignore for html documentation dir |
commit | commitdiff | tree | snapshot |
| 2002-11-22 |
Stefano Zacchiroli | - added ocamldoc documentation in debian package |
commit | commitdiff | tree | snapshot |
| 2002-11-22 |
Stefano Zacchiroli | - fixed wrong @raise ocamldoc tags |
commit | commitdiff | tree | snapshot |
| 2002-11-22 |
Stefano Zacchiroli | - added targets relative to ocamldoc doc generation |
commit | commitdiff | tree | snapshot |
| 2002-11-22 |
Stefano Zacchiroli | - bumped version to 0.0.5 |
commit | commitdiff | tree | snapshot |
| 2002-11-22 |
Stefano Zacchiroli | - removed old entries from TODO |
commit | commitdiff | tree | snapshot |
| 2002-11-22 |
Stefano Zacchiroli | - added support for multithreaded daemons |
commit | commitdiff | tree | snapshot |
| 2002-11-21 |
Claudio Sacerdoti... | ... |
commit | commitdiff | tree | snapshot |
| 2002-11-21 |
Claudio Sacerdoti... | First version of the stuff to create the DB. |
commit | commitdiff | tree | snapshot |
| 2002-11-21 |
Claudio Sacerdoti... | The notational stylesheets from CIC to MathML Content... |
commit | commitdiff | tree | snapshot |
| 2002-11-21 |
Claudio Sacerdoti... | First version of Di Lena's stylesheet generator (for... |
commit | commitdiff | tree | snapshot |
| 2002-11-21 |
Claudio Sacerdoti... | typo fixed |
commit | commitdiff | tree | snapshot |
| 2002-11-21 |
Claudio Sacerdoti... | *.yy.c removed |
commit | commitdiff | tree | snapshot |
| 2002-11-21 |
Claudio Sacerdoti... | *.rdf ==> *.xml |
commit | commitdiff | tree | snapshot |
| 2002-11-21 |
Claudio Sacerdoti... | ... |
commit | commitdiff | tree | snapshot |
| 2002-11-21 |
Claudio Sacerdoti... | <h:Object> is now repeated every time a MainHypothesis... |
commit | commitdiff | tree | snapshot |
| 2002-11-20 |
Claudio Sacerdoti... | Bug fixed: refSort were exported (as refObj) also when... |
commit | commitdiff | tree | snapshot |
| 2002-11-20 |
Claudio Sacerdoti... | rdf:parseType="Resource" added to backPointer |
commit | commitdiff | tree | snapshot |
| 2002-11-20 |
Claudio Sacerdoti... | * New metadata for refSort and refRel |
commit | commitdiff | tree | snapshot |
| 2002-11-20 |
Stefano Zacchiroli | TODO list |
commit | commitdiff | tree | snapshot |
| 2002-11-20 |
Stefano Zacchiroli | - changed invoked daemons for proof checker, draw graph... |
commit | commitdiff | tree | snapshot |
| 2002-11-20 |
Stefano Zacchiroli | added env var DRAW_GRAPH_DIR |
commit | commitdiff | tree | snapshot |
| 2002-11-20 |
Stefano Zacchiroli | - get working directory from env var DRAW_GRAPH_DIR |
commit | commitdiff | tree | snapshot |
| 2002-11-20 |
Stefano Zacchiroli | - http debugging value copied from daemon debugging... |
commit | commitdiff | tree | snapshot |
| 2002-11-20 |
Claudio Sacerdoti... | <h:depth> must precede <h:occurrence> (to make metadata... |
commit | commitdiff | tree | snapshot |
| 2002-11-20 |
Stefano Zacchiroli | bumped version to 0.0.4 |
commit | commitdiff | tree | snapshot |
| 2002-11-20 |
Claudio Sacerdoti... | Debug code removed. |
commit | commitdiff | tree | snapshot |
| 2002-11-20 |
Stefano Zacchiroli | - bugfix: perform GET parameter parsing on HTTP encoded... |
commit | commitdiff | tree | snapshot |
| 2002-11-20 |
Ferruccio Guidi | mqint patched (compilation warning removed) |
commit | commitdiff | tree | snapshot |
| 2002-11-20 |
Andrea Asperti | Minor bug fixes: |
commit | commitdiff | tree | snapshot |
| 2002-11-20 |
Stefano Zacchiroli | - added a lot of debugging messages |
commit | commitdiff | tree | snapshot |
| 2002-11-19 |
natile | Now Pattern module really exists in repository. |
commit | commitdiff | tree | snapshot |
| 2002-11-19 |
natile | Pattern module added. |
commit | commitdiff | tree | snapshot |
| 2002-11-19 |
Stefano Zacchiroli | added ocaml version of draw_graph and uri_set_queue |
commit | commitdiff | tree | snapshot |
| 2002-11-19 |
Andrea Asperti | New metadata for sort and rel. |
commit | commitdiff | tree | snapshot |
| 2002-11-18 |
natile | Relation: inverse switch added. |
commit | commitdiff | tree | snapshot |
| 2002-11-18 |
Irene Schena | Modified Files: |
commit | commitdiff | tree | snapshot |
| 2002-11-18 |
Ferruccio Guidi | generator patched for new semantics with structurated... |
commit | commitdiff | tree | snapshot |
| 2002-11-18 |
Ferruccio Guidi | structurated attribute names added |
commit | commitdiff | tree | snapshot |
| 2002-11-17 |
Stefano Zacchiroli | bumped version to 0.0.3 |
commit | commitdiff | tree | snapshot |
| 2002-11-17 |
Stefano Zacchiroli | renamed tcp_server module in http_tcp_server to avoid... |
commit | commitdiff | tree | snapshot |
| 2002-11-17 |
Stefano Zacchiroli | bug fix: reset timeout after processing request in... |
commit | commitdiff | tree | snapshot |
| 2002-11-17 |
Stefano Zacchiroli | *** empty log message *** |
commit | commitdiff | tree | snapshot |
| 2002-11-17 |
Stefano Zacchiroli | Added debug flag and debug_print function |
commit | commitdiff | tree | snapshot |
| next |
projects / helm.git / shortlog