projects / helm.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
helm.git
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
2002-11-20 Stefano Zacchiroli- http debugging value copied from daemon debugging... commit | commitdiff | tree | snapshot
2002-11-20 Claudio Sacerdoti... <h:depth> must precede <h:occurrence> (to make metadata... commit | commitdiff | tree | snapshot
2002-11-20 Stefano Zacchirolibumped version to 0.0.4 commit | commitdiff | tree | snapshot
2002-11-20 Claudio Sacerdoti... Debug code removed. commit | commitdiff | tree | snapshot
2002-11-20 Stefano Zacchiroli- bugfix: perform GET parameter parsing on HTTP encoded... commit | commitdiff | tree | snapshot
2002-11-20 Ferruccio Guidimqint patched (compilation warning removed) commit | commitdiff | tree | snapshot
2002-11-20 Andrea AspertiMinor bug fixes: commit | commitdiff | tree | snapshot
2002-11-20 Stefano Zacchiroli- added a lot of debugging messages commit | commitdiff | tree | snapshot
2002-11-19 natileNow Pattern module really exists in repository. commit | commitdiff | tree | snapshot
2002-11-19 natilePattern module added. commit | commitdiff | tree | snapshot
2002-11-19 Stefano Zacchiroliadded ocaml version of draw_graph and uri_set_queue commit | commitdiff | tree | snapshot
2002-11-19 Andrea AspertiNew metadata for sort and rel. commit | commitdiff | tree | snapshot
2002-11-18 natileRelation: inverse switch added. commit | commitdiff | tree | snapshot
2002-11-18 Irene SchenaModified Files: commit | commitdiff | tree | snapshot
2002-11-18 Ferruccio Guidigenerator patched for new semantics with structurated... commit | commitdiff | tree | snapshot
2002-11-18 Ferruccio Guidistructurated attribute names added commit | commitdiff | tree | snapshot
2002-11-17 Stefano Zacchirolibumped version to 0.0.3 commit | commitdiff | tree | snapshot
2002-11-17 Stefano Zacchirolirenamed tcp_server module in http_tcp_server to avoid... commit | commitdiff | tree | snapshot
2002-11-17 Stefano Zacchirolibug fix: reset timeout after processing request in... commit | commitdiff | tree | snapshot
2002-11-17 Stefano Zacchiroli*** empty log message *** commit | commitdiff | tree | snapshot
2002-11-17 Stefano ZacchiroliAdded debug flag and debug_print function commit | commitdiff | tree | snapshot
2002-11-17 Stefano Zacchiroli.cvsignore for examples dir commit | commitdiff | tree | snapshot
2002-11-17 Stefano Zacchiroli- split http_parser module (all code that parse http... commit | commitdiff | tree | snapshot
2002-11-15 Stefano Zacchirolioopss, I forgot to commit .depend last time ... commit | commitdiff | tree | snapshot
2002-11-15 Stefano Zacchirolibackported new pxp module from branch V7_3_new_exportation commit | commitdiff | tree | snapshot
2002-11-14 Ferruccio Guidireplaced fun with inverse attribute commit | commitdiff | tree | snapshot
2002-11-14 Ferruccio Guidiadded inverse switch for relation and attribute commit | commitdiff | tree | snapshot
2002-11-14 Stefano Zacchiroliname fix due to changes in libhttp-ocaml (e.g. s/Http... commit | commitdiff | tree | snapshot
2002-11-14 natileAttribute files added. commit | commitdiff | tree | snapshot
2002-11-14 natileUnused files removed. commit | commitdiff | tree | snapshot
2002-11-14 Stefano Zacchiroliload http.cma instead of http.cmo commit | commitdiff | tree | snapshot
2002-11-14 Stefano Zacchirolino longer use -pack and Http.*, now interface is the... commit | commitdiff | tree | snapshot
2002-11-14 Stefano ZacchiroliNow use cm{,x}a commit | commitdiff | tree | snapshot
2002-11-14 Stefano ZacchiroliChanged source-package name to "ocaml-http" commit | commitdiff | tree | snapshot
2002-11-13 natileAttribute patched: now takes an extra argument of type... commit | commitdiff | tree | snapshot
2002-11-13 natileAttribute patched with inverse function. commit | commitdiff | tree | snapshot
2002-11-13 Stefano Zacchiroliswitched to OCaml HTTP module commit | commitdiff | tree | snapshot
2002-11-13 Stefano Zacchiroliadded ocaml-http 0.0.1 commit | commitdiff | tree | snapshot
2002-11-05 Claudio Sacerdoti... first commit commit | commitdiff | tree | snapshot
2002-11-04 natileFun patched. commit | commitdiff | tree | snapshot
2002-11-04 Enrico Tassibug found: commit | commitdiff | tree | snapshot
2002-10-31 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2002-10-31 Claudio Sacerdoti... Comments removed. commit | commitdiff | tree | snapshot
2002-10-31 Claudio Sacerdoti... Quotes problem fixed. commit | commitdiff | tree | snapshot
2002-10-31 Ferruccio GuidiMQueryGenerator ported to use fun "objectName" commit | commitdiff | tree | snapshot
2002-10-31 Ferruccio Guidisilly debug output removed from stdout commit | commitdiff | tree | snapshot
2002-10-31 Claudio Sacerdoti... New version of the library added. commit | commitdiff | tree | snapshot
2002-10-29 Claudio Sacerdoti... xmlns:h namespace "fixed" commit | commitdiff | tree | snapshot
2002-10-29 Claudio Sacerdoti... New version for the new DTD. commit | commitdiff | tree | snapshot
2002-10-28 natileFun patched but works only in one direction (from the... commit | commitdiff | tree | snapshot
2002-10-25 Claudio Sacerdoti... proof-checker ported to the mowgli version commit | commitdiff | tree | snapshot
2002-10-25 Claudio Sacerdoti... Proof-checker ported to the mowgli version. commit | commitdiff | tree | snapshot
2002-10-25 Claudio Sacerdoti... Better configuration management. commit | commitdiff | tree | snapshot
2002-10-25 Enrico TassiNow esempi/fourier.cic end with a proof! commit | commitdiff | tree | snapshot
2002-10-24 Claudio Sacerdoti... Bug fixed: I don't know what the bug was exactly, but... commit | commitdiff | tree | snapshot
2002-10-22 Ferruccio Guidimqint.ml patched commit | commitdiff | tree | snapshot
2002-10-22 Ferruccio GuiditopLevel updated to use mqint set_database and get_database commit | commitdiff | tree | snapshot
2002-10-22 Claudio Sacerdoti... Bug ``fixed'': we do not need to apply sym_eqT since... commit | commitdiff | tree | snapshot
2002-10-22 Claudio Sacerdoti... - matql_interpreter_galax branch removed once and for... commit | commitdiff | tree | snapshot
2002-10-22 natileSwitching interpreter patched, addedd: commit | commitdiff | tree | snapshot
2002-10-22 Claudio Sacerdoti... The two interpreters are now both in mathql_interpreter... commit | commitdiff | tree | snapshot
2002-10-21 Claudio Sacerdoti... No more useful commit | commitdiff | tree | snapshot
2002-10-21 natileOld modules (use.ml/mli, eval.ml/mli,...) eliminated. commit | commitdiff | tree | snapshot
2002-10-21 natileSwitching interpreter. commit | commitdiff | tree | snapshot
2002-10-21 Michele GalatàComments reindented. commit | commitdiff | tree | snapshot
2002-10-21 natileMerge of the new_mathql branch with the main branch: commit | commitdiff | tree | snapshot
2002-10-21 natileMerge of the new_mathql branch with the main branch: commit | commitdiff | tree | snapshot
2002-10-17 Enrico Tassi- indentation is now in pseudo-functional style! commit | commitdiff | tree | snapshot
2002-10-17 Enrico Tassi- rewritesimpl_tac added in fourierR.ml (wrong location) commit | commitdiff | tree | snapshot
2002-10-16 Claudio Sacerdoti... - write_tac fixed (the list of new goals was empty) commit | commitdiff | tree | snapshot
2002-10-14 Claudio Sacerdoti... A tough test for rewrite. commit | commitdiff | tree | snapshot
2002-10-14 Claudio Sacerdoti... - bug fixed: some liftings were missing in the implemen... commit | commitdiff | tree | snapshot
2002-10-11 Claudio Sacerdoti... - rewrite extended to handle rewritings with eqT commit | commitdiff | tree | snapshot
2002-10-11 Claudio Sacerdoti... Trivial bug in equality_replace fixed: an exception... commit | commitdiff | tree | snapshot
2002-10-11 Claudio Sacerdoti... New tactic rewrite implemented. commit | commitdiff | tree | snapshot
2002-10-11 Claudio Sacerdoti... - idtac used for debugging removed commit | commitdiff | tree | snapshot
2002-10-11 Enrico TassiMore debug printings. commit | commitdiff | tree | snapshot
2002-10-11 natileUse patched. commit | commitdiff | tree | snapshot
2002-10-10 Enrico TassiAdded an example to test fourier_tac. commit | commitdiff | tree | snapshot
2002-10-10 Enrico TassiDebug printing update, now the unification bug commit | commitdiff | tree | snapshot
2002-10-10 Claudio Sacerdoti... Handling of the splitting of constants into body +... commit | commitdiff | tree | snapshot
2002-10-10 Claudio Sacerdoti... Handling of the splitting of constants in body + type. commit | commitdiff | tree | snapshot
2002-10-10 Claudio Sacerdoti... HTTP_GETTER_PORT environment variable added commit | commitdiff | tree | snapshot
2002-10-09 Claudio Sacerdoti... Several bug-fixes: commit | commitdiff | tree | snapshot
2002-10-09 Claudio Sacerdoti... Pretty-printing of MUTIND and MUTCONSTRUCT with crazy... commit | commitdiff | tree | snapshot
2002-10-09 Claudio Sacerdoti... added bootmisc and tomcat scripts commit | commitdiff | tree | snapshot
2002-10-09 Stefano Zacchiroliadded support for unload and reload of predefined style... commit | commitdiff | tree | snapshot
2002-10-09 Stefano Zacchiroliscript that loads predefined uwobo stylesheets commit | commitdiff | tree | snapshot
2002-10-09 Stefano Zacchiroliadded /etc/init.d/ stuff commit | commitdiff | tree | snapshot
2002-10-08 Claudio Sacerdoti... Web-services ordered by port number. commit | commitdiff | tree | snapshot
2002-10-08 Claudio Sacerdoti... DRAW_GRAPH_PORT environment variable added commit | commitdiff | tree | snapshot
2002-10-08 Claudio Sacerdoti... URI_SET_QUEUE_PORT and DRAW_GRAPH_PORT added commit | commitdiff | tree | snapshot
2002-10-08 Claudio Sacerdoti... Default ports changed. commit | commitdiff | tree | snapshot
2002-10-08 Claudio Sacerdoti... URI_SET_QUEUE_PORT environment variable added commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.