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