]> matita.cs.unibo.it Git - helm.git/shortlog
projects / helm.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
helm.git
2003-03-12 Claudio Sacerdoti... Many changes in the client-side interfaces: commit | commitdiff | tree | snapshot
2003-03-10 Claudio Sacerdoti... Big change: parenthesis can now be put in any place... commit | commitdiff | tree | snapshot
2003-03-07 Stefano Zacchiroliadded .cvsignore commit | commitdiff | tree | snapshot
2003-03-06 Stefano Zacchiroli- parse postgres connection string also from environmen... commit | commitdiff | tree | snapshot
2003-03-06 Stefano Zacchiroli- use new mquery generator module commit | commitdiff | tree | snapshot
2003-03-06 Stefano Zacchiroliadded META.helm-mquery_generator commit | commitdiff | tree | snapshot
2003-03-06 Stefano Zacchiroliminimal changes: commit | commitdiff | tree | snapshot
2003-02-20 Stefano Zacchirolibuild bytecode code by default commit | commitdiff | tree | snapshot
2003-02-20 Stefano Zacchirolibuild also mquery_generator module commit | commitdiff | tree | snapshot
2003-02-20 Stefano Zacchiroliadded dep on helm-mquery_generator commit | commitdiff | tree | snapshot
2003-02-20 Stefano Zacchiroliadded TacticChaser module to emebed functions which... commit | commitdiff | tree | snapshot
2003-02-20 Stefano Zacchirolidefined an explicit "status" type commit | commitdiff | tree | snapshot
2003-02-20 Stefano Zacchirolimoved mquery generation stuff in a new module commit | commitdiff | tree | snapshot
2003-02-20 Stefano Zacchiroli- added HBugs support commit | commitdiff | tree | snapshot
2003-02-20 Stefano Zacchiroli- added HBugs notification after tactic application commit | commitdiff | tree | snapshot
2003-02-20 Stefano Zacchiroli- added dependencies on hbugs-client, threads, helm... commit | commitdiff | tree | snapshot
2003-02-20 Stefano Zacchirolimoved mquery generation in ../ocaml/mquery_generator/ commit | commitdiff | tree | snapshot
2003-02-20 Stefano Zacchiroli- added and exposed get_current_status_as_xml commit | commitdiff | tree | snapshot
2003-02-20 Stefano Zacchiroli- moved exception IllFormedUri, string_of_cic_textual_p... commit | commitdiff | tree | snapshot
2003-02-20 Stefano Zacchirolifixed references to functions moved from Misc to MQueryMisc commit | commitdiff | tree | snapshot
2003-02-20 Stefano Zacchiroliadded HBugs interface module for gTopLevel commit | commitdiff | tree | snapshot
2003-02-20 Stefano Zacchirolirebuilt commit | commitdiff | tree | snapshot
2003-02-19 Stefano Zacchiroliremoved tmp_dir no longer needed (it was used only... commit | commitdiff | tree | snapshot
2003-02-19 Stefano Zacchirolibugfix: use temporary file name to avoid file access... commit | commitdiff | tree | snapshot
2003-02-19 Stefano Zacchiroli- added pp_to_outchan and pp_to_string for other medium... commit | commitdiff | tree | snapshot
2003-02-05 Ferruccio GuidiMakefile patched commit | commitdiff | tree | snapshot
2003-02-05 Claudio Sacerdoti... Makefile.common.in and .depend backtracked to my last... commit | commitdiff | tree | snapshot
2003-02-05 Ferruccio Guidipackege dependences calculation patched commit | commitdiff | tree | snapshot
2003-02-05 Ferruccio Guidipackage dependences calulation fixed commit | commitdiff | tree | snapshot
2003-02-04 Ferruccio GuidiSQL quoting fixed in relation.ml commit | commitdiff | tree | snapshot
2003-02-04 Michele GalatàAdded new module DiscriminationTactics commit | commitdiff | tree | snapshot
2003-02-04 Michele GalatàAdded buttons for new tactics Injection and Discriminate commit | commitdiff | tree | snapshot
2003-02-04 Michele GalatàAdded module DiscriminationTactics with brand new tacti... commit | commitdiff | tree | snapshot
2003-02-03 Ferruccio Guidipatches for the new interface of text_of_query/text_of... commit | commitdiff | tree | snapshot
2003-02-03 Ferruccio Guidinew interface for text_of_query/text_of_result + bug... commit | commitdiff | tree | snapshot
2003-02-03 Claudio Sacerdoti... Dependency simplification. commit | commitdiff | tree | snapshot
2003-02-03 Claudio Sacerdoti... Minor module re-organization: commit | commitdiff | tree | snapshot
2003-01-31 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2003-01-31 Claudio Sacerdoti... The scratch window is now based on the sequent_viewer... commit | commitdiff | tree | snapshot
2003-01-31 Claudio Sacerdoti... Major module reorganization: commit | commitdiff | tree | snapshot
2003-01-30 Claudio Sacerdoti... 1. helmns and domImpl moved to the misc module ;-( commit | commitdiff | tree | snapshot
2003-01-30 Claudio Sacerdoti... Minor code reorganization: commit | commitdiff | tree | snapshot
2003-01-29 Claudio Sacerdoti... Tactics button rearranged. commit | commitdiff | tree | snapshot
2003-01-29 Claudio Sacerdoti... Clear and ClearBody moved to the pop-up menu. commit | commitdiff | tree | snapshot
2003-01-29 Claudio Sacerdoti... replace_lifting generalized to the simultaneous replace... commit | commitdiff | tree | snapshot
2003-01-29 Claudio Sacerdoti... ProofEngineHelpers.mk_fresh_name now used in place... commit | commitdiff | tree | snapshot
2003-01-29 Claudio Sacerdoti... 1. Added a callback to the generalize tactic to generat... commit | commitdiff | tree | snapshot
2003-01-29 Claudio Sacerdoti... Added a callback to the generalize tactic to generate... commit | commitdiff | tree | snapshot
2003-01-29 Claudio Sacerdoti... Generalize now works on a list of convertible terms... commit | commitdiff | tree | snapshot
2003-01-29 Claudio Sacerdoti... Generalize tactic moved to the contextual menu. commit | commitdiff | tree | snapshot
2003-01-29 Claudio Sacerdoti... New: we now have a new pop-up menu for the reduction... commit | commitdiff | tree | snapshot
2003-01-29 Claudio Sacerdoti... 1. All the reduction tactics have been modified to... commit | commitdiff | tree | snapshot
2003-01-29 Claudio Sacerdoti... All the reduction tactics have been modified to reduce... commit | commitdiff | tree | snapshot
2003-01-29 Claudio Sacerdoti... Multiple selection is now enabled in the goal and check... commit | commitdiff | tree | snapshot
2003-01-29 Claudio Sacerdoti... maction toggle restored commit | commitdiff | tree | snapshot
2003-01-29 Claudio Sacerdoti... Optional callbacks have been added to tactics that... commit | commitdiff | tree | snapshot
2003-01-28 Claudio Sacerdoti... Dead code removed. commit | commitdiff | tree | snapshot
2003-01-28 Claudio Sacerdoti... Decompose now has a new parameter which is the callback... commit | commitdiff | tree | snapshot
2003-01-28 Claudio Sacerdoti... Decompose now has a new parameter that is the callback... commit | commitdiff | tree | snapshot
2003-01-28 Claudio Sacerdoti... Fixed. It was no more working since the move of the... commit | commitdiff | tree | snapshot
2003-01-28 Stefano Zacchiroliadded META for module helm-tactics commit | commitdiff | tree | snapshot
2003-01-28 Stefano Zacchirolimoved tactics from gTopLevel to the new module ocaml... commit | commitdiff | tree | snapshot
2003-01-28 Stefano Zacchirolimoved tactics in ocaml/tactics commit | commitdiff | tree | snapshot
2003-01-27 Luca Padovani* very small fixes here and there commit | commitdiff | tree | snapshot
2003-01-24 Michele GalatàAdded Decompose tactic commit | commitdiff | tree | snapshot
2003-01-21 Stefano Zacchirolibugfix while printing MutInd and MutConstruct unresolve... commit | commitdiff | tree | snapshot
2003-01-21 Stefano Zacchiroliadded html templates and pages commit | commitdiff | tree | snapshot
2003-01-21 Stefano Zacchiroli- disambiguation implemented! commit | commitdiff | tree | snapshot
2003-01-21 Stefano Zacchiroli- added references to gTopLevel needed modules commit | commitdiff | tree | snapshot
2003-01-21 Claudio Sacerdoti... New module Disambiguate to hold: commit | commitdiff | tree | snapshot
2003-01-05 Stefano Zacchirolitypo: ')' mismatch commit | commitdiff | tree | snapshot
2002-12-23 Claudio Sacerdoti... Ambiguous parsing improved: refining is now used to... commit | commitdiff | tree | snapshot
2002-12-23 Claudio Sacerdoti... Refine can now also raise Uncertain. The exception... commit | commitdiff | tree | snapshot
2002-12-23 Claudio Sacerdoti... The interpretation function can now return also "Implicit". commit | commitdiff | tree | snapshot
2002-12-22 Claudio Sacerdoti... New: refinement is now used to disambiguate parsing. commit | commitdiff | tree | snapshot
2002-12-22 Claudio Sacerdoti... New constructs \x.T and !x.T introduced. They require... commit | commitdiff | tree | snapshot
2002-12-22 Claudio Sacerdoti... * First implementation of CicRefine commit | commitdiff | tree | snapshot
2002-12-20 Luca Padovani* if no configuration file is found, issue a warning... commit | commitdiff | tree | snapshot
2002-12-18 Claudio Sacerdoti... "Insert Query (Experts only)" menu item added. commit | commitdiff | tree | snapshot
2002-12-13 Claudio Sacerdoti... Added a special charcount threatment to the 'append... commit | commitdiff | tree | snapshot
2002-12-13 Ferruccio GuidiMathQL textual lexer patched commit | commitdiff | tree | snapshot
2002-12-13 Claudio Sacerdoti... Wrong commit undone. commit | commitdiff | tree | snapshot
2002-12-13 Andrea AspertiLast commit before major modifications to do. commit | commitdiff | tree | snapshot
2002-12-13 Michele GalatàRearranged tactics in VariousTactics into new modules... commit | commitdiff | tree | snapshot
2002-12-12 Claudio Sacerdoti... Minor widget rearrangement. commit | commitdiff | tree | snapshot
2002-12-12 Claudio Sacerdoti... notation "@" for append added commit | commitdiff | tree | snapshot
2002-12-12 Michele GalatàAdded an almost working version of Generalize tactic. commit | commitdiff | tree | snapshot
2002-12-12 Michele GalatàAdded an almost working version of Generalize tactic. commit | commitdiff | tree | snapshot
2002-12-12 Michele GalatàRearranged tactics in VariousTactics into new modules... commit | commitdiff | tree | snapshot
2002-12-11 Claudio Sacerdoti... Severe bug fixed: the test failed in the case of (Rplus... commit | commitdiff | tree | snapshot
2002-12-11 Claudio Sacerdoti... * Partial checking of mutual inductive definitions... commit | commitdiff | tree | snapshot
2002-12-11 Claudio Sacerdoti... Unary minus now rendered without parentheses. commit | commitdiff | tree | snapshot
2002-12-10 Claudio Sacerdoti... "Rewrite ... with ... by ..." line-breaking handled. commit | commitdiff | tree | snapshot
2002-12-10 Claudio Sacerdoti... First experimental commit of the notation (partial... commit | commitdiff | tree | snapshot
2002-12-10 Claudio Sacerdoti... Ring partially ported to the new library. But I am... commit | commitdiff | tree | snapshot
2002-12-10 Claudio Sacerdoti... Bug fixed: beta-redex transformations to LetIn were... commit | commitdiff | tree | snapshot
2002-12-10 Claudio Sacerdoti... cut & paste typo fixed commit | commitdiff | tree | snapshot
2002-12-10 Claudio Sacerdoti... positive.xsl is now included in headercontent.xsl and... commit | commitdiff | tree | snapshot
2002-12-09 natileNow "only" constraint are more restrictive. commit | commitdiff | tree | snapshot
2002-12-09 Claudio Sacerdoti... * ElimSimplIntros replace by ElimIntrosSimpl. Simplific... commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.