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