]> matita.cs.unibo.it Git - helm.git/history - helm
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
- indentation is now in pseudo-functional style!
[helm.git] / helm /
2002-10-17 Enrico Tassi- indentation is now in pseudo-functional style! tree | commitdiff
2002-10-17 Enrico Tassi- rewritesimpl_tac added in fourierR.ml (wrong location) tree | commitdiff
2002-10-16 Claudio Sacerdoti... - write_tac fixed (the list of new goals was empty) tree | commitdiff
2002-10-14 Claudio Sacerdoti... A tough test for rewrite. tree | commitdiff
2002-10-14 Claudio Sacerdoti... - bug fixed: some liftings were missing in the implemen... tree | commitdiff
2002-10-11 Claudio Sacerdoti... - rewrite extended to handle rewritings with eqT tree | commitdiff
2002-10-11 Claudio Sacerdoti... Trivial bug in equality_replace fixed: an exception... tree | commitdiff
2002-10-11 Claudio Sacerdoti... New tactic rewrite implemented. tree | commitdiff
2002-10-11 Claudio Sacerdoti... - idtac used for debugging removed tree | commitdiff
2002-10-11 Enrico TassiMore debug printings. tree | commitdiff
2002-10-11 natileUse patched. tree | commitdiff
2002-10-10 Enrico TassiAdded an example to test fourier_tac. tree | commitdiff
2002-10-10 Enrico TassiDebug printing update, now the unification bug tree | commitdiff
2002-10-10 Claudio Sacerdoti... Handling of the splitting of constants into body +... tree | commitdiff
2002-10-10 Claudio Sacerdoti... Handling of the splitting of constants in body + type. tree | commitdiff
2002-10-10 Claudio Sacerdoti... HTTP_GETTER_PORT environment variable added tree | commitdiff
2002-10-09 Claudio Sacerdoti... Several bug-fixes: tree | commitdiff
2002-10-09 Claudio Sacerdoti... Pretty-printing of MUTIND and MUTCONSTRUCT with crazy... tree | commitdiff
2002-10-09 Claudio Sacerdoti... added bootmisc and tomcat scripts tree | commitdiff
2002-10-09 Stefano Zacchiroliadded support for unload and reload of predefined style... tree | commitdiff
2002-10-09 Stefano Zacchiroliscript that loads predefined uwobo stylesheets tree | commitdiff
2002-10-09 Stefano Zacchiroliadded /etc/init.d/ stuff tree | commitdiff
2002-10-08 Claudio Sacerdoti... Web-services ordered by port number. tree | commitdiff
2002-10-08 Claudio Sacerdoti... DRAW_GRAPH_PORT environment variable added tree | commitdiff
2002-10-08 Claudio Sacerdoti... URI_SET_QUEUE_PORT and DRAW_GRAPH_PORT added tree | commitdiff
2002-10-08 Claudio Sacerdoti... Default ports changed. tree | commitdiff
2002-10-08 Claudio Sacerdoti... URI_SET_QUEUE_PORT environment variable added tree | commitdiff
2002-10-08 Claudio Sacerdoti... proofcheckerURL configuration parameter added tree | commitdiff
2002-10-08 Claudio Sacerdoti... proofcheckerURL param added tree | commitdiff
2002-10-07 Enrico Tassifourier_tac without useless recursion tree | commitdiff
2002-10-07 Claudio Sacerdoti... - The Getter and UWOBO moved to mowgli. tree | commitdiff
2002-10-07 Claudio Sacerdoti... - New environment variables set. tree | commitdiff
2002-10-07 Enrico Tassihopefully last tactic update cvs log tree | commitdiff
2002-10-07 Claudio Sacerdoti... Initial revision tree | commitdiff
2002-10-07 Claudio Sacerdoti... HTTP_GETTER_DTD_BASE_DIR configuration parameter added tree | commitdiff
2002-10-02 Enrico Tassitactic update tree | commitdiff
2002-10-02 Irene SchenaModified Files: tree | commitdiff
2002-09-27 Claudio Sacerdoti... Better handling of queries. Now both the locate and... tree | commitdiff
2002-09-23 Irene SchenaModified Files: tree | commitdiff
2002-09-20 Claudio Sacerdoti... change code moved to change_tac (functional version... tree | commitdiff
2002-09-20 Irene SchenaModified Files: tree | commitdiff
2002-09-19 natilecommit of galax mathql interpreter tree | commitdiff
2002-09-19 Enrico TassiTactic update tree | commitdiff
2002-09-18 Claudio Sacerdoti... Small code improvement. tree | commitdiff
2002-09-18 Enrico TassiTactic update tree | commitdiff
2002-09-17 Ferruccio Guidinew query generator tree | commitdiff
2002-09-16 Claudio Sacerdoti... List of tactics implemented and to implement (italian... tree | commitdiff
2002-09-13 Ferruccio Guidirestricted mode to use when the database is down :) tree | commitdiff
2002-09-13 Ferruccio Guidiquery generator timing feature improved tree | commitdiff
2002-09-13 Irene SchenaModified Files: tree | commitdiff
2002-09-13 Claudio Sacerdoti... ring.ml* splitted into ring.ml* and tacticals.ml* tree | commitdiff
2002-09-13 Claudio Sacerdoti... then_ tactical implemented (equivalent to the tclTHEN... tree | commitdiff
2002-09-13 Irene SchenaModified Files: tree | commitdiff
2002-09-13 Enrico TassiFourier tactic update tree | commitdiff
2002-09-09 Claudio Sacerdoti... When locate is used during the lexing phase, it may... tree | commitdiff
2002-09-09 Claudio Sacerdoti... Patch applied to the locate query: when used to retriev... tree | commitdiff
2002-09-09 Enrico TassiFourier tactic update tree | commitdiff
2002-09-07 Enrico TassiFirst works tree | commitdiff
2002-09-06 Irene SchenaAdded Files: tree | commitdiff
2002-09-05 Ferruccio GuidimQueryGenerator and topLevel patched tree | commitdiff
2002-09-05 Irene SchenaModified Files: tree | commitdiff
2002-09-05 Ferruccio Guidisome small improvements: command line sintax changed... tree | commitdiff
2002-09-05 Irene SchenaModified Files: tree | commitdiff
2002-09-04 Claudio Sacerdoti... The parser (the lexer indeed) now use the locate query... tree | commitdiff
2002-09-04 Ferruccio Guidiraw HTML markap generator tree | commitdiff
2002-09-04 Ferruccio Guiditextual parser fixed tree | commitdiff
2002-09-04 Enrico TassiFourier tactic tree | commitdiff
2002-09-03 Irene SchenaAdded Files: tree | commitdiff
2002-08-30 Ferruccio Guidiuser name added to tmp file name tree | commitdiff
2002-08-29 Irene SchenaModified Files: tree | commitdiff
2002-08-29 Michele GalatàType expression simplified. tree | commitdiff
2002-08-29 Michele GalatàComment typo fixed. tree | commitdiff
2002-08-28 Irene SchenaModified Files: tree | commitdiff
2002-08-28 Stefano Zacchirolidebian release -3 tree | commitdiff
2002-08-28 Stefano Zacchirolidebian version "-8" tree | commitdiff
2002-08-28 Stefano Zacchiroliforward compatibility changes for ocaml 3.06 tree | commitdiff
2002-08-27 Claudio Sacerdoti... Interface file created. Missing from previous commit. tree | commitdiff
2002-07-29 Claudio Sacerdoti... Updated to use the new parser that creates (stacks... tree | commitdiff
2002-07-29 Claudio Sacerdoti... Updated to use the new parser that creates (stacks... tree | commitdiff
2002-07-22 Claudio Sacerdoti... Many improvements in tactics (and tactical) representation: tree | commitdiff
2002-07-22 Claudio Sacerdoti... First version of hxsp (new version of UWOBO implemented... tree | commitdiff
2002-07-02 Stefano ZacchiroliAdded examples. tree | commitdiff
2002-07-02 Stefano Zacchirolibugfix: Ring will work again with varmaps :-) tree | commitdiff
2002-07-01 Stefano Zacchiroli- added Ring tactic on reals tree | commitdiff
2002-07-01 Stefano Zacchirolibugfix that inhibit the removal of certain hypotheses tree | commitdiff
2002-07-01 Stefano Zacchirolibug fix: handled LetIn case in simpl tree | commitdiff
2002-07-01 Ferruccio GuidimathQL modified, stderr corrected to stdout im mathql_i... tree | commitdiff
2002-07-01 Claudio Sacerdoti... Invariant description added. tree | commitdiff
2002-07-01 Claudio Sacerdoti... Bug fixed: there is an invariant that every attributed... tree | commitdiff
2002-06-25 Claudio Sacerdoti... Wrong xpointers generated. Fixed. tree | commitdiff
2002-06-25 Claudio Sacerdoti... Locate query changed again. There is a mismatch between... tree | commitdiff
2002-06-24 Claudio Sacerdoti... class parameter added to the getallrdfuris method. tree | commitdiff
2002-06-24 Claudio Sacerdoti... Bug fixed: empty elements did not ask for the size... tree | commitdiff
2002-06-24 Stefano Zacchiroliadded comment about 0 and 1 based indexes tree | commitdiff
2002-06-22 Ferruccio GuidimathQL and mqint updated tree | commitdiff
2002-06-22 Ferruccio Guidited version of mQueryGenerator (was mquery part 2) tree | commitdiff
2002-06-22 Ferruccio Guidiuntested version of mQueryGenerator (was mquery part 2) tree | commitdiff
2002-06-22 Stefano Zacchirolibug fix: wrapped some possible List.{hd,tl} failures... tree | commitdiff
2002-06-19 lordidatabase connection parameters updated tree | commitdiff
2002-06-19 lordilet in scope corrected and new database format support tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.