projects / helm.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
helm.git
2005-09-05 Claudio Sacerdoti... Added aliases and notation. commit | commitdiff | tree | snapshot
2005-09-05 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-09-05 Claudio Sacerdoti... Unfold tactic generalized to perform zeta-reduction. commit | commitdiff | tree | snapshot
2005-09-05 Claudio Sacerdoti... locate_in_* functions generalized to handle equalities... commit | commitdiff | tree | snapshot
2005-09-05 Claudio Sacerdoti... New change in patterns: the pattern "in H" is now inter... commit | commitdiff | tree | snapshot
2005-09-05 Claudio Sacerdoti... The refined form of a reference to a let-in bound varia... commit | commitdiff | tree | snapshot
2005-09-05 Stefano Zacchiroliuse uniform naming for referencing cicNotation* modules commit | commitdiff | tree | snapshot
2005-09-05 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-09-05 Stefano Zacchiroliremoved tedious debugging message commit | commitdiff | tree | snapshot
2005-09-05 Stefano Zacchiroliavoid generating multiple times the same xref/href commit | commitdiff | tree | snapshot
2005-09-05 Enrico Tassifix generation of applications of applications. commit | commitdiff | tree | snapshot
2005-09-05 Enrico Tassiadded @raise in comment (and source) commit | commitdiff | tree | snapshot
2005-09-05 Enrico Tassisimplify and let-in commit | commitdiff | tree | snapshot
2005-09-05 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-09-05 Claudio Sacerdoti... Assert false (for imbricated theorems) changed to a... commit | commitdiff | tree | snapshot
2005-09-05 Claudio Sacerdoti... New strategy for let-in unfolding (aka zeta reduction... commit | commitdiff | tree | snapshot
2005-09-05 Claudio Sacerdoti... Critical bug fixed: the get_cooked_obj was called on... commit | commitdiff | tree | snapshot
2005-09-05 Claudio Sacerdoti... Typing errors fixed. commit | commitdiff | tree | snapshot
2005-09-05 Claudio Sacerdoti... The logo was searched in the wrong directory. commit | commitdiff | tree | snapshot
2005-09-05 Claudio Sacerdoti... Bug fixed: Invalid_argument was raised by List.combine... commit | commitdiff | tree | snapshot
2005-09-05 Claudio Sacerdoti... LAMBDA-TYPES moved under contrib, fixed (to use the... commit | commitdiff | tree | snapshot
2005-09-05 Stefano Zacchirolibug fix for IDA: uses remote names (i.e. http://..... commit | commitdiff | tree | snapshot
2005-09-05 Ferruccio GuidiLAMBDA-TYPES moved under contribs commit | commitdiff | tree | snapshot
2005-09-05 Enrico TassiThe popup that asks to generate .moo for a .ma shows... commit | commitdiff | tree | snapshot
2005-09-05 Claudio Sacerdoti... Bug fixed: matitac used to stop too early when an ambig... commit | commitdiff | tree | snapshot
2005-09-05 Claudio Sacerdoti... create_owner_environment missing from matitatop initial... commit | commitdiff | tree | snapshot
2005-09-02 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-09-02 Claudio Sacerdoti... Unsharing removed since it is now used in Cic2acic. commit | commitdiff | tree | snapshot
2005-09-02 Claudio Sacerdoti... Unsharing finally introduced (but just for object proce... commit | commitdiff | tree | snapshot
2005-09-02 Claudio Sacerdoti... Bug fixed: sorts and implicits were not unshared correctly. commit | commitdiff | tree | snapshot
2005-09-02 Claudio Sacerdoti... Assert added to check whether an unsharing problem... commit | commitdiff | tree | snapshot
2005-09-02 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-09-02 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-09-02 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-09-02 Claudio Sacerdoti... Serious bug fixed previously introduced by me in the... commit | commitdiff | tree | snapshot
2005-09-02 Claudio Sacerdoti... Stupid typo fixed. commit | commitdiff | tree | snapshot
2005-09-02 Claudio Sacerdoti... Missing initialization of the trusting function (for... commit | commitdiff | tree | snapshot
2005-09-02 Claudio Sacerdoti... Unused index (because of UNIQUE field count) dropped. commit | commitdiff | tree | snapshot
2005-09-01 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-09-01 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-09-01 Claudio Sacerdoti... New index refObj_occurrence on refObj. It is required... commit | commitdiff | tree | snapshot
2005-09-01 Alberto Griggiochanged default parameter values... commit | commitdiff | tree | snapshot
2005-09-01 Claudio Sacerdoti... Comment added. commit | commitdiff | tree | snapshot
2005-09-01 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-09-01 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-08-31 Alberto Griggiofixed bug in compute_equality_weight caused by wrong... commit | commitdiff | tree | snapshot
2005-08-31 Claudio Sacerdoti... Since several weeks whelp did not compile any longer... commit | commitdiff | tree | snapshot
2005-08-31 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-08-31 Claudio Sacerdoti... (** xxx **) ==> (** xxx *) commit | commitdiff | tree | snapshot
2005-08-30 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-08-30 Claudio Sacerdoti... Bug fixed: "cic:/dummy_i" is an invalid URI (that used... commit | commitdiff | tree | snapshot
2005-08-30 Claudio Sacerdoti... A parser for aliases implemented (required by the Whelp). commit | commitdiff | tree | snapshot
2005-08-30 Claudio Sacerdoti... CicNotationPres self-reference (misteriously accepted... commit | commitdiff | tree | snapshot
2005-08-29 Claudio Sacerdoti... WARNING: this commit changes the DB representation... commit | commitdiff | tree | snapshot
2005-08-29 Claudio Sacerdoti... WARNING: this commit changes the DB representation... commit | commitdiff | tree | snapshot
2005-08-29 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-08-29 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-08-28 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-08-24 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-08-22 Alberto Griggiosome fixes commit | commitdiff | tree | snapshot
2005-08-22 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-08-22 Claudio Sacerdoti... Comment removed. commit | commitdiff | tree | snapshot
2005-08-22 Claudio Sacerdoti... Paramodulation bug fixed. commit | commitdiff | tree | snapshot
2005-08-22 Andrea AspertiAdded datatypes/constructors.ma commit | commitdiff | tree | snapshot
2005-08-22 Andrea AspertiNew entries in nat: factorial.ma minimization.ma primes... commit | commitdiff | tree | snapshot
2005-08-22 Andrea AspertiAdded Z/plus.ma e Z/compare.ma. commit | commitdiff | tree | snapshot
2005-08-22 Andrea AspertiThe library grows... commit | commitdiff | tree | snapshot
2005-08-22 Andrea AspertiAdded q.ma. commit | commitdiff | tree | snapshot
2005-08-18 Stefano Zacchiroliready for 0.1.1 release commit | commitdiff | tree | snapshot
2005-08-16 Stefano Zacchiroliintegrated Eric's patch for HTTP/1.1 persistant connections commit | commitdiff | tree | snapshot
2005-08-12 Stefano Zacchiroliimproved some comments commit | commitdiff | tree | snapshot
2005-08-05 Alberto Griggiosome bugs fixed commit | commitdiff | tree | snapshot
2005-08-01 Alberto Griggiofixed compilation warnings commit | commitdiff | tree | snapshot
2005-08-01 Stefano Zacchiroliadded homepage URL, now we have one commit | commitdiff | tree | snapshot
2005-08-01 Stefano Zacchirolibumped standards version commit | commitdiff | tree | snapshot
2005-08-01 Stefano Zacchirolido not install empty NEWS file commit | commitdiff | tree | snapshot
2005-08-01 Stefano Zacchirolibumped timestemp, closed ITP commit | commitdiff | tree | snapshot
2005-07-31 Stefano Zacchirolifilled end user information commit | commitdiff | tree | snapshot
2005-07-31 Stefano Zacchirolipackaging cleanup: get rid of ancient debhelpers, use... commit | commitdiff | tree | snapshot
2005-07-31 Stefano Zacchiroliignore some autotools stuff commit | commitdiff | tree | snapshot
2005-07-31 Stefano Zacchirolilablgtkmathview 0.7.2 commit | commitdiff | tree | snapshot
2005-07-29 Claudio Sacerdoti... Partial bug fix: every inner type is now added to the... commit | commitdiff | tree | snapshot
2005-07-29 Claudio Sacerdoti... 0. core_notation.ma splitted into coq.moo and core_nota... commit | commitdiff | tree | snapshot
2005-07-28 Claudio Sacerdoti... This test stresses automatic insertion. commit | commitdiff | tree | snapshot
2005-07-28 Claudio Sacerdoti... The logo is now showed in the sequents_viewer window... commit | commitdiff | tree | snapshot
2005-07-28 Stefano Zacchiroli- re-factoring: dropped sequentViewer in favour of... commit | commitdiff | tree | snapshot
2005-07-28 Claudio Sacerdoti... Logo added to the about dialog. commit | commitdiff | tree | snapshot
2005-07-28 Claudio Sacerdoti... 1. ProofEngineHelpers.locate_in_term, ProofEngineHelper... commit | commitdiff | tree | snapshot
2005-07-28 Claudio Sacerdoti... New tactic: unfold. commit | commitdiff | tree | snapshot
2005-07-28 Claudio Sacerdoti... Bug fixed: unfold used to work iff the term to unfold... commit | commitdiff | tree | snapshot
2005-07-28 Claudio Sacerdoti... arguments of ProofEngineHelpers.replace swapped. commit | commitdiff | tree | snapshot
2005-07-28 Stefano Zacchirolibugfix: call add_selection_target each time selection... commit | commitdiff | tree | snapshot
2005-07-28 Claudio Sacerdoti... Bug fixed: locate_term_in_conjecture used to raise... commit | commitdiff | tree | snapshot
2005-07-28 Stefano Zacchiroliadded support for (textual) cut and paste of mathml... commit | commitdiff | tree | snapshot
2005-07-28 Claudio Sacerdoti... New tactic unfold. commit | commitdiff | tree | snapshot
2005-07-28 Stefano Zacchiroliadded pretty printing of unicode symbols to TeX like... commit | commitdiff | tree | snapshot
2005-07-28 Stefano Zacchiroliadded attributes re-factoring item commit | commitdiff | tree | snapshot
2005-07-28 Stefano Zacchiroliadded reverse mapping from unicode to TeX like macro... commit | commitdiff | tree | snapshot
2005-07-28 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-07-28 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.