]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
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
2002-11-14 Stefano ZacchiroliChanged source-package name to "ocaml-http"
2002-11-13 natileAttribute patched: now takes an extra argument of type...
2002-11-13 natileAttribute patched with inverse function.
2002-11-13 Stefano Zacchiroliswitched to OCaml HTTP module
2002-11-13 Stefano Zacchiroliadded ocaml-http 0.0.1
2002-11-05 Claudio Sacerdoti... first commit
2002-11-04 natileFun patched.
2002-11-04 Enrico Tassibug found:
2002-10-31 Claudio Sacerdoti... ...
2002-10-31 Claudio Sacerdoti... Comments removed.
2002-10-31 Claudio Sacerdoti... Quotes problem fixed.
2002-10-31 Ferruccio GuidiMQueryGenerator ported to use fun "objectName"
2002-10-31 Ferruccio Guidisilly debug output removed from stdout
2002-10-31 Claudio Sacerdoti... New version of the library added.
2002-10-29 Claudio Sacerdoti... xmlns:h namespace "fixed"
2002-10-29 Claudio Sacerdoti... New version for the new DTD.
2002-10-28 natileFun patched but works only in one direction (from the...
2002-10-25 Claudio Sacerdoti... proof-checker ported to the mowgli version
2002-10-25 Claudio Sacerdoti... Proof-checker ported to the mowgli version.
2002-10-25 Claudio Sacerdoti... Better configuration management.
2002-10-25 Enrico TassiNow esempi/fourier.cic end with a proof!
2002-10-24 Claudio Sacerdoti... Bug fixed: I don't know what the bug was exactly, but...
2002-10-22 Ferruccio Guidimqint.ml patched
2002-10-22 Ferruccio GuiditopLevel updated to use mqint set_database and get_database
2002-10-22 Claudio Sacerdoti... Bug ``fixed'': we do not need to apply sym_eqT since...
2002-10-22 Claudio Sacerdoti... - matql_interpreter_galax branch removed once and for...
2002-10-22 natileSwitching interpreter patched, addedd:
2002-10-22 Claudio Sacerdoti... The two interpreters are now both in mathql_interpreter...
2002-10-21 Claudio Sacerdoti... No more useful
next