]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
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...
2002-11-20 Stefano Zacchirolibumped version to 0.0.4
2002-11-20 Claudio Sacerdoti... Debug code removed.
2002-11-20 Stefano Zacchiroli- bugfix: perform GET parameter parsing on HTTP encoded...
2002-11-20 Ferruccio Guidimqint patched (compilation warning removed)
2002-11-20 Andrea AspertiMinor bug fixes:
2002-11-20 Stefano Zacchiroli- added a lot of debugging messages
2002-11-19 natileNow Pattern module really exists in repository.
2002-11-19 natilePattern module added.
2002-11-19 Stefano Zacchiroliadded ocaml version of draw_graph and uri_set_queue
2002-11-19 Andrea AspertiNew metadata for sort and rel.
2002-11-18 natileRelation: inverse switch added.
2002-11-18 Irene SchenaModified Files:
2002-11-18 Ferruccio Guidigenerator patched for new semantics with structurated...
2002-11-18 Ferruccio Guidistructurated attribute names added
2002-11-17 Stefano Zacchirolibumped version to 0.0.3
2002-11-17 Stefano Zacchirolirenamed tcp_server module in http_tcp_server to avoid...
2002-11-17 Stefano Zacchirolibug fix: reset timeout after processing request in...
2002-11-17 Stefano Zacchiroli*** empty log message ***
2002-11-17 Stefano ZacchiroliAdded debug flag and debug_print function
2002-11-17 Stefano Zacchiroli.cvsignore for examples dir
2002-11-17 Stefano Zacchiroli- split http_parser module (all code that parse http...
2002-11-15 Stefano Zacchirolioopss, I forgot to commit .depend last time ...
2002-11-15 Stefano Zacchirolibackported new pxp module from branch V7_3_new_exportation
2002-11-14 Ferruccio Guidireplaced fun with inverse attribute
2002-11-14 Ferruccio Guidiadded inverse switch for relation and attribute
2002-11-14 Stefano Zacchiroliname fix due to changes in libhttp-ocaml (e.g. s/Http...
2002-11-14 natileAttribute files added.
2002-11-14 natileUnused files removed.
2002-11-14 Stefano Zacchiroliload http.cma instead of http.cmo
2002-11-14 Stefano Zacchirolino longer use -pack and Http.*, now interface is the...
2002-11-14 Stefano ZacchiroliNow use cm{,x}a
next