]> matita.cs.unibo.it Git - helm.git/history - helm/matita
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Unsharing finally introduced (but just for object processing, not yet for terms
[helm.git] / helm / matita /
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... Stupid typo fixed. tree | commitdiff
2005-09-02 Claudio Sacerdoti... Missing initialization of the trusting function (for... tree | commitdiff
2005-09-01 Claudio Sacerdoti... ... tree | commitdiff
2005-09-01 Claudio Sacerdoti... ... tree | commitdiff
2005-09-01 Claudio Sacerdoti... ... tree | commitdiff
2005-09-01 Claudio Sacerdoti... ... 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... A parser for aliases implemented (required by the Whelp). 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 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-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 Stefano Zacchirolibugfix: call add_selection_target each time selection... 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 Claudio Sacerdoti... ... tree | commitdiff
2005-07-28 Claudio Sacerdoti... ... 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
2005-07-27 Enrico Tassifixed matitamake to handle development with names with... tree | commitdiff
2005-07-27 Stefano Zacchirolirefactored gui handling code so that MatitaMathView... tree | commitdiff
2005-07-27 Claudio Sacerdoti... ... tree | commitdiff
2005-07-27 Enrico TassimatitaMisc.ml tree | commitdiff
2005-07-27 Enrico Tassisafe mkdir implemented tree | commitdiff
2005-07-27 Stefano Zacchiroliproof of concept implementation of cut and paste from... tree | commitdiff
2005-07-27 Stefano Zacchirolirenamed development related windows tree | commitdiff
2005-07-27 Stefano Zacchiroliadded #proofConclusion tree | commitdiff
2005-07-27 Stefano Zacchirolicosmetic changes tree | commitdiff
2005-07-27 Stefano Zacchiroliadded get_proof_conclusione and list_tl_at tree | commitdiff
2005-07-27 Stefano Zacchirolihighlighted notation keywords tree | commitdiff
2005-07-27 Claudio Sacerdoti... ... tree | commitdiff
2005-07-26 Claudio Sacerdoti... "Coq's " prefix added to every interpretation. tree | commitdiff
2005-07-26 Claudio Sacerdoti... Flickering bug fixed. tree | commitdiff
2005-07-26 Claudio Sacerdoti... Bug solved: the #reparent method of Gtk should NOT... tree | commitdiff
2005-07-26 Claudio Sacerdoti... ... tree | commitdiff
2005-07-26 Claudio Sacerdoti... ... tree | commitdiff
2005-07-26 Claudio Sacerdoti... **** Experimental: **** tree | commitdiff
2005-07-26 Claudio Sacerdoti... typo fixed tree | commitdiff
2005-07-26 Claudio Sacerdoti... "Coq's " prefix added to every interpretation. tree | commitdiff
2005-07-26 Enrico Tassibigger disambiguate chiuches win tree | commitdiff
2005-07-26 Enrico Tassi... tree | commitdiff
2005-07-25 Claudio Sacerdoti... More notation (up to where the open bugs allow me to... tree | commitdiff
2005-07-25 Claudio Sacerdoti... A little bit more of notation here and there. tree | commitdiff
2005-07-25 Claudio Sacerdoti... Notation for equality used everywhere. tree | commitdiff
2005-07-25 Claudio Sacerdoti... ... tree | commitdiff
2005-07-25 Claudio Sacerdoti... Bug solved: X-style paste (i.e. paste of the PRIMARY... tree | commitdiff
2005-07-25 Claudio Sacerdoti... paramodulation added. tree | commitdiff
2005-07-25 Claudio Sacerdoti... Highlighting of parse errors implemented. tree | commitdiff
2005-07-25 Claudio Sacerdoti... Code simplification. tree | commitdiff
2005-07-25 Claudio Sacerdoti... Bug fixed: the _advance method must delete the parsed... tree | commitdiff
2005-07-25 Claudio Sacerdoti... ... tree | commitdiff
2005-07-25 Claudio Sacerdoti... 1. select_all added to the Edit menu; no shortcut for... tree | commitdiff
2005-07-25 Claudio Sacerdoti... The edit menu items (copy/cut/delete/paste) are now... tree | commitdiff
2005-07-25 Claudio Sacerdoti... - MatitaLog output redirected to stderr for every messa... tree | commitdiff
2005-07-25 Enrico Tassibuilding/cleaning a devel now makes buttons insensitive tree | commitdiff
2005-07-25 Claudio Sacerdoti... ... tree | commitdiff
2005-07-25 Stefano Zacchirolimerged transformations on top of notation code tree | commitdiff
2005-07-25 Stefano Zacchirolihandle multiple href tree | commitdiff
2005-07-25 Stefano Zacchiroliadded split tree | commitdiff
2005-07-25 Claudio Sacerdoti... Paramodulation initialized. tree | commitdiff
2005-07-22 Alberto Griggioadded optional "paramodulation" parameter to auto to... tree | commitdiff
2005-07-22 Claudio Sacerdoti... When matita is started on a non-existent file, it avoid... tree | commitdiff
2005-07-22 Claudio Sacerdoti... Original semantics of a now almost random piece of... tree | commitdiff
2005-07-22 Andrea AspertiAn object should be removed from disk (i.e. from the... tree | commitdiff
2005-07-22 Enrico Tassifix tree | commitdiff
2005-07-22 Andrea AspertiRemoved debugging print. tree | commitdiff
2005-07-22 Claudio Sacerdoti... matitaclean all now destroys the .matita/xml directory tree | commitdiff
2005-07-22 Claudio Sacerdoti... Big changes: tree | commitdiff
2005-07-22 Enrico Tassiadd_obj is ATOMIC tree | commitdiff
2005-07-22 Enrico Tassisome prerr to better understand the mkdir -p error tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.