]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
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
2002-10-21 natileOld modules (use.ml/mli, eval.ml/mli,...) eliminated.
2002-10-21 natileSwitching interpreter.
2002-10-21 Michele GalatàComments reindented.
2002-10-21 natileMerge of the new_mathql branch with the main branch:
2002-10-21 natileMerge of the new_mathql branch with the main branch:
2002-10-17 Enrico Tassi- indentation is now in pseudo-functional style!
2002-10-17 Enrico Tassi- rewritesimpl_tac added in fourierR.ml (wrong location)
2002-10-16 Claudio Sacerdoti... - write_tac fixed (the list of new goals was empty)
2002-10-14 Claudio Sacerdoti... A tough test for rewrite.
2002-10-14 Claudio Sacerdoti... - bug fixed: some liftings were missing in the implemen...
2002-10-11 Claudio Sacerdoti... - rewrite extended to handle rewritings with eqT
2002-10-11 Claudio Sacerdoti... Trivial bug in equality_replace fixed: an exception...
2002-10-11 Claudio Sacerdoti... New tactic rewrite implemented.
2002-10-11 Claudio Sacerdoti... - idtac used for debugging removed
2002-10-11 Enrico TassiMore debug printings.
2002-10-11 natileUse patched.
2002-10-10 Enrico TassiAdded an example to test fourier_tac.
2002-10-10 Enrico TassiDebug printing update, now the unification bug
next