]> matita.cs.unibo.it Git - helm.git/shortlog
projects / helm.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
helm.git
2002-12-05 Luca Padovani* empty automake Makefile for ocaml stuff commit | commitdiff | tree | snapshot
2002-12-05 Luca Padovani* required for compilation of test commit | commitdiff | tree | snapshot
2002-12-05 Luca Padovani* patches for ocaml compilation commit | commitdiff | tree | snapshot
2002-12-04 Luca Padovani* missed some files commit | commitdiff | tree | snapshot
2002-12-04 Luca Padovani* added C++ binding commit | commitdiff | tree | snapshot
2002-12-04 Stefano Zacchiroli- reverted to only one quotation level in xmluri, libxm... commit | commitdiff | tree | snapshot
2002-12-04 Stefano Zacchirolirecomputed commit | commitdiff | tree | snapshot
2002-12-04 Stefano Zacchiroli- bugfix: removed Http_types -> Http_types dep commit | commitdiff | tree | snapshot
2002-12-04 Stefano Zacchiroli- use Pcre to perform sanity checks commit | commitdiff | tree | snapshot
2002-12-04 Stefano Zacchiroli- first entry for 0.0.7 commit | commitdiff | tree | snapshot
2002-12-04 Stefano Zacchiroli- added deb target commit | commitdiff | tree | snapshot
2002-12-03 Stefano Zacchiroli- added sanity checks entry commit | commitdiff | tree | snapshot
2002-12-03 Stefano Zacchiroli*** empty log message *** commit | commitdiff | tree | snapshot
2002-12-03 Stefano Zacchiroli- added two TODO comment commit | commitdiff | tree | snapshot
2002-12-03 Stefano Zacchiroli- moved exceptions here commit | commitdiff | tree | snapshot
2002-12-03 Stefano Zacchiroli- moved exceptions in http_types commit | commitdiff | tree | snapshot
2002-12-03 Stefano Zacchiroli- moved exceptions in http_types commit | commitdiff | tree | snapshot
2002-12-03 Stefano Zacchiroli- implemented heal_header that sanity checks an header commit | commitdiff | tree | snapshot
2002-12-03 Stefano Zacchiroli- added sanity test on headers while using send_header{,s} commit | commitdiff | tree | snapshot
2002-12-03 Stefano Zacchiroli- added string_{em,im}plode commit | commitdiff | tree | snapshot
2002-12-03 Stefano Zacchiroli- moved exceptions in http_types commit | commitdiff | tree | snapshot
2002-12-03 Stefano Zacchiroliadded cvsignores commit | commitdiff | tree | snapshot
2002-12-03 Stefano Zacchiroliadded 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 Zacchirolibugfix: 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 Zacchiroliuse '-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 Zacchirolisnapshot Fri, 29 Nov 2002 17:17:46 +0100 zack commit | commitdiff | tree | snapshot
2002-11-29 Stefano Zacchirolisnapshot Fri, 29 Nov 2002 12:38:23 +0100 zack commit | commitdiff | tree | snapshot
2002-11-29 Stefano Zacchiroliadded 0.0.2 entry commit | commitdiff | tree | snapshot
2002-11-29 Stefano Zacchiroliuse saveResultToChannel instead of gdome serialization... commit | commitdiff | tree | snapshot
2002-11-29 Stefano Zacchiroliimplemented saveResultToChannel commit | commitdiff | tree | snapshot
2002-11-29 Stefano Zacchirolibumped 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 Zacchiroliadded -Wall flag to gcc invocation commit | commitdiff | tree | snapshot
2002-11-29 Stefano Zacchirolibumped version 0.0.2 commit | commitdiff | tree | snapshot
2002-11-29 Stefano Zacchiroliadded 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 Zacchiroliremoved verbatim GPL license, replaced with a reference to commit | commitdiff | tree | snapshot
2002-11-27 Stefano Zacchirolisnapshot Wed, 27 Nov 2002 18:10:57 +0100 commit | commitdiff | tree | snapshot
2002-11-27 natileobjectName patched. commit | commitdiff | tree | snapshot
2002-11-27 Stefano Zacchirolisnapshot Wed, 27 Nov 2002 14:47:14 +0100 commit | commitdiff | tree | snapshot
2002-11-27 natileRelation patched, property added. commit | commitdiff | tree | snapshot
2002-11-27 Stefano Zacchirolisnapshot Wed, 27 Nov 2002 02:45:45 +0100 commit | commitdiff | tree | snapshot
2002-11-26 Stefano Zacchirolicvs snapshot Tue, 26 Nov 2002 18:41:34 +0100 commit | commitdiff | tree | snapshot
2002-11-26 Ferruccio Guidilexer 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 Zacchirolis/param_all/paramAll/g commit | commitdiff | tree | snapshot
2002-11-26 Stefano Zacchiroliparse DISTVERSION from debian/changelog commit | commitdiff | tree | snapshot
2002-11-26 Stefano Zacchiroliuwobo ocaml daily snapshot: Tue, 26 Nov 2002 14:26... commit | commitdiff | tree | snapshot
2002-11-26 Ferruccio Guididebug output removed commit | commitdiff | tree | snapshot
2002-11-26 Ferruccio GuidiMathQL.ml updated commit | commitdiff | tree | snapshot
2002-11-25 Pietro Di LenaChanging directory for tmp files commit | commitdiff | tree | snapshot
2002-11-25 Pietro Di LenaNow it is possible to define a 'cookable' operator... commit | commitdiff | tree | snapshot
2002-11-25 Pietro Di LenaChanged cic:/Coq/Sets/Ensembles/Ensembles/Empty_set... commit | commitdiff | tree | snapshot
2002-11-25 Pietro Di LenaNow 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 natileDebugging prints removed. commit | commitdiff | tree | snapshot
2002-11-22 natileMathql_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 SchenaModified Files: commit | commitdiff | tree | snapshot
2002-11-22 Stefano Zacchirolicvsignore 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 ZacchiroliTODO 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 Zacchiroliadded 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
next
Unnamed repository; edit this file 'description' to name the repository.