]> matita.cs.unibo.it Git - helm.git/shortlog
projects / helm.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
helm.git
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
2005-07-28 Stefano Zacchiroliworkaround for an assertion failure during rendering... commit | commitdiff | tree | snapshot
2005-07-28 Andrea Aspertiremoved orders_op from library (now in le_arith and... commit | commitdiff | tree | snapshot
2005-07-28 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-07-28 Claudio Sacerdoti... This commit re-commits version 1.61, removing the error... commit | commitdiff | tree | snapshot
2005-07-28 Claudio Sacerdoti... REVERT OF MY PREVIOUS COMMIT THAT INTRODUCES A CRITICAL... commit | commitdiff | tree | snapshot
2005-07-28 Claudio Sacerdoti... Committing all the recent development of Andrea after... commit | commitdiff | tree | snapshot
2005-07-28 Claudio Sacerdoti... More notation. commit | commitdiff | tree | snapshot
2005-07-28 Claudio Sacerdoti... Management of automatic insertion of aliases and "goal... commit | commitdiff | tree | snapshot
2005-07-28 Claudio Sacerdoti... Code simplification. commit | commitdiff | tree | snapshot
2005-07-27 Claudio Sacerdoti... Bug fixed: added a _undoable_action critical section... commit | commitdiff | tree | snapshot
2005-07-27 Claudio Sacerdoti... dead code removed commit | commitdiff | tree | snapshot
2005-07-27 Enrico Tassifixed matitamake to handle development with names with... commit | commitdiff | tree | snapshot
2005-07-27 Stefano Zacchirolirefactored gui handling code so that MatitaMathView... commit | commitdiff | tree | snapshot
2005-07-27 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-07-27 Enrico TassimatitaMisc.ml commit | commitdiff | tree | snapshot
2005-07-27 Enrico Tassisafe mkdir implemented commit | commitdiff | tree | snapshot
2005-07-27 Stefano Zacchiroliproof of concept implementation of cut and paste from... commit | commitdiff | tree | snapshot
2005-07-27 Stefano Zacchirolirenamed development related windows commit | commitdiff | tree | snapshot
2005-07-27 Stefano Zacchiroliadded #proofConclusion commit | commitdiff | tree | snapshot
2005-07-27 Stefano Zacchirolicosmetic changes commit | commitdiff | tree | snapshot
2005-07-27 Stefano Zacchiroliadded get_proof_conclusione and list_tl_at commit | commitdiff | tree | snapshot
2005-07-27 Stefano Zacchirolihighlighted notation keywords commit | commitdiff | tree | snapshot
2005-07-27 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-07-27 Stefano Zacchirolifixed cic_notation dependencies commit | commitdiff | tree | snapshot
2005-07-27 Stefano Zacchirolibetter boxes (with more line breaking hints) for object... commit | commitdiff | tree | snapshot
2005-07-27 Stefano Zacchiroli*** empty log message *** commit | commitdiff | tree | snapshot
2005-07-27 Stefano Zacchirolibugfix: added xref on ast built via pattern matching... commit | commitdiff | tree | snapshot
2005-07-27 Stefano Zacchiroliadded id_of_annterm: Cic.annterm -> Cic.id commit | commitdiff | tree | snapshot
2005-07-27 Stefano Zacchirolibugfix: no more xref on bound names commit | commitdiff | tree | snapshot
2005-07-27 Stefano Zacchiroliadded low level rendering attributes (indent, spacing... commit | commitdiff | tree | snapshot
2005-07-27 Stefano Zacchirolirendering from markup to string commit | commitdiff | tree | snapshot
2005-07-27 Stefano Zacchiroliimproved debugging pretty printing of xref commit | commitdiff | tree | snapshot
2005-07-26 Claudio Sacerdoti... "Coq's " prefix added to every interpretation. commit | commitdiff | tree | snapshot
2005-07-26 Claudio Sacerdoti... Flickering bug fixed. commit | commitdiff | tree | snapshot
2005-07-26 Claudio Sacerdoti... locate_in_term generalized to locate_in_conjecture commit | commitdiff | tree | snapshot
2005-07-26 Claudio Sacerdoti... Comments added. commit | commitdiff | tree | snapshot
2005-07-26 Claudio Sacerdoti... Bug solved: the #reparent method of Gtk should NOT... commit | commitdiff | tree | snapshot
2005-07-26 Claudio Sacerdoti... Implementation of locate_in finished. commit | commitdiff | tree | snapshot
2005-07-26 Stefano Zacchirolitypo s/\\OF/\\of/ commit | commitdiff | tree | snapshot
2005-07-26 Stefano Zacchirolifixed typo in helpers for generating hv and hov boxes commit | commitdiff | tree | snapshot
2005-07-26 Stefano Zacchirolidraft version of locate_in_term commit | commitdiff | tree | snapshot
2005-07-26 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-07-26 Stefano Zacchiroliunreleased version of the bindings, with more gtkmathvi... commit | commitdiff | tree | snapshot
2005-07-26 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-07-26 Claudio Sacerdoti... **** Experimental: **** commit | commitdiff | tree | snapshot
2005-07-26 Claudio Sacerdoti... typo fixed commit | commitdiff | tree | snapshot
2005-07-26 Claudio Sacerdoti... "Coq's " prefix added to every interpretation. commit | commitdiff | tree | snapshot
2005-07-26 Claudio Sacerdoti... Bug fixed: list_uniq o List.sort used in the lookup... commit | commitdiff | tree | snapshot
2005-07-26 Enrico Tassibigger disambiguate chiuches win commit | commitdiff | tree | snapshot
2005-07-26 Enrico Tassi... commit | commitdiff | tree | snapshot
2005-07-25 Claudio Sacerdoti... More notation (up to where the open bugs allow me to... commit | commitdiff | tree | snapshot
2005-07-25 Claudio Sacerdoti... A little bit more of notation here and there. commit | commitdiff | tree | snapshot
2005-07-25 Ferruccio Guidisome more changes and corrections commit | commitdiff | tree | snapshot
2005-07-25 Claudio Sacerdoti... Notation for equality used everywhere. commit | commitdiff | tree | snapshot
2005-07-25 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-07-25 Claudio Sacerdoti... Bug solved: X-style paste (i.e. paste of the PRIMARY... commit | commitdiff | tree | snapshot
2005-07-25 Claudio Sacerdoti... paramodulation added. commit | commitdiff | tree | snapshot
2005-07-25 Claudio Sacerdoti... Highlighting of parse errors implemented. commit | commitdiff | tree | snapshot
2005-07-25 Claudio Sacerdoti... Code simplification. commit | commitdiff | tree | snapshot
2005-07-25 Claudio Sacerdoti... Bug fixed: the _advance method must delete the parsed... commit | commitdiff | tree | snapshot
2005-07-25 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-07-25 Claudio Sacerdoti... 1. select_all added to the Edit menu; no shortcut for... commit | commitdiff | tree | snapshot
2005-07-25 Claudio Sacerdoti... The edit menu items (copy/cut/delete/paste) are now... commit | commitdiff | tree | snapshot
2005-07-25 Claudio Sacerdoti... - MatitaLog output redirected to stderr for every messa... commit | commitdiff | tree | snapshot
2005-07-25 Enrico Tassibuilding/cleaning a devel now makes buttons insensitive commit | commitdiff | tree | snapshot
2005-07-25 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-07-25 Stefano Zacchirolimerged transformations on top of notation code commit | commitdiff | tree | snapshot
2005-07-25 Stefano Zacchirolihandle multiple href commit | commitdiff | tree | snapshot
2005-07-25 Stefano Zacchiroliadded split commit | commitdiff | tree | snapshot
2005-07-25 Stefano Zacchiroliimplemented transformations on top of notation code commit | commitdiff | tree | snapshot
2005-07-25 Stefano Zacchirolimoved add_xml_declaration here commit | commitdiff | tree | snapshot
2005-07-25 Stefano Zacchiroli- addded unicode_of_tex commit | commitdiff | tree | snapshot
2005-07-25 Claudio Sacerdoti... Paramodulation initialized. commit | commitdiff | tree | snapshot
2005-07-25 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-07-22 Alberto Griggioadded optional "paramodulation" parameter to auto to... commit | commitdiff | tree | snapshot
2005-07-22 Alberto Griggioadded optional "paramodulation" parameter to auto to... commit | commitdiff | tree | snapshot
2005-07-22 Alberto Griggio- better exception handling commit | commitdiff | tree | snapshot
2005-07-22 Claudio Sacerdoti... When matita is started on a non-existent file, it avoid... commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.