projects / helm.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
helm.git
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
2002-10-08 Claudio Sacerdoti... proofcheckerURL configuration parameter added commit | commitdiff | tree | snapshot
2002-10-08 Claudio Sacerdoti... proofcheckerURL param added commit | commitdiff | tree | snapshot
2002-10-07 Enrico Tassifourier_tac without useless recursion commit | commitdiff | tree | snapshot
2002-10-07 Claudio Sacerdoti... - The Getter and UWOBO moved to mowgli. commit | commitdiff | tree | snapshot
2002-10-07 Claudio Sacerdoti... - New environment variables set. commit | commitdiff | tree | snapshot
2002-10-07 Enrico Tassihopefully last tactic update cvs log commit | commitdiff | tree | snapshot
2002-10-07 Claudio Sacerdoti... Initial revision commit | commitdiff | tree | snapshot
2002-10-07 Claudio Sacerdoti... HTTP_GETTER_DTD_BASE_DIR configuration parameter added commit | commitdiff | tree | snapshot
2002-10-02 Enrico Tassitactic update commit | commitdiff | tree | snapshot
2002-10-02 Irene SchenaModified Files: commit | commitdiff | tree | snapshot
2002-09-27 Claudio Sacerdoti... Better handling of queries. Now both the locate and... commit | commitdiff | tree | snapshot
2002-09-23 Irene SchenaModified Files: commit | commitdiff | tree | snapshot
2002-09-20 Claudio Sacerdoti... change code moved to change_tac (functional version... commit | commitdiff | tree | snapshot
2002-09-20 Irene SchenaModified Files: commit | commitdiff | tree | snapshot
2002-09-19 natilecommit of galax mathql interpreter commit | commitdiff | tree | snapshot
2002-09-19 Enrico TassiTactic update commit | commitdiff | tree | snapshot
2002-09-18 Claudio Sacerdoti... Small code improvement. commit | commitdiff | tree | snapshot
2002-09-18 Enrico TassiTactic update commit | commitdiff | tree | snapshot
2002-09-17 Ferruccio Guidinew query generator commit | commitdiff | tree | snapshot
2002-09-16 Claudio Sacerdoti... List of tactics implemented and to implement (italian... commit | commitdiff | tree | snapshot
2002-09-13 Ferruccio Guidirestricted mode to use when the database is down :) commit | commitdiff | tree | snapshot
2002-09-13 Ferruccio Guidiquery generator timing feature improved commit | commitdiff | tree | snapshot
2002-09-13 Irene SchenaModified Files: commit | commitdiff | tree | snapshot
2002-09-13 Claudio Sacerdoti... ring.ml* splitted into ring.ml* and tacticals.ml* commit | commitdiff | tree | snapshot
2002-09-13 Claudio Sacerdoti... then_ tactical implemented (equivalent to the tclTHEN... commit | commitdiff | tree | snapshot
2002-09-13 Irene SchenaModified Files: commit | commitdiff | tree | snapshot
2002-09-13 Enrico TassiFourier tactic update commit | commitdiff | tree | snapshot
2002-09-09 Claudio Sacerdoti... When locate is used during the lexing phase, it may... commit | commitdiff | tree | snapshot
2002-09-09 Claudio Sacerdoti... Patch applied to the locate query: when used to retriev... commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.