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