]> 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-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
2005-07-22 Claudio Sacerdoti... Original semantics of a now almost random piece of... commit | commitdiff | tree | snapshot
2005-07-22 Andrea AspertiAn object should be removed from disk (i.e. from the... commit | commitdiff | tree | snapshot
2005-07-22 Andrea AspertiCicEnvironment.remove did not remove the object from... commit | commitdiff | tree | snapshot
2005-07-22 Enrico Tassifix commit | commitdiff | tree | snapshot
2005-07-22 Andrea AspertiRemoved debugging print. commit | commitdiff | tree | snapshot
2005-07-22 Claudio Sacerdoti... matitaclean all now destroys the .matita/xml directory commit | commitdiff | tree | snapshot
2005-07-22 Claudio Sacerdoti... Big changes: commit | commitdiff | tree | snapshot
2005-07-22 Enrico Tassiadd_obj is ATOMIC commit | commitdiff | tree | snapshot
2005-07-22 Enrico Tassisome prerr to better understand the mkdir -p error commit | commitdiff | tree | snapshot
2005-07-22 Enrico Tassiadded env content debug print commit | commitdiff | tree | snapshot
2005-07-22 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-07-21 Alberto Griggioadded some typechecks to avoid using equations with... commit | commitdiff | tree | snapshot
2005-07-21 Alberto Griggiodependencies commit | commitdiff | tree | snapshot
2005-07-21 Alberto Griggioremoved .depend from .cvsignore commit | commitdiff | tree | snapshot
2005-07-21 Alberto Griggioadded some typechecks to avoid using equations with... commit | commitdiff | tree | snapshot
2005-07-21 Alberto Griggioadded CicNotation.load_notation call to disambiguate... commit | commitdiff | tree | snapshot
2005-07-21 Alberto Griggioif paramodulation fails, go on with the normal auto... commit | commitdiff | tree | snapshot
2005-07-21 Claudio Sacerdoti... Bug fixed: LICENSE and AUTHORS were searched in the... commit | commitdiff | tree | snapshot
2005-07-21 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-07-21 Claudio Sacerdoti... Regression fixed: goto used to stop (again!) to the... commit | commitdiff | tree | snapshot
2005-07-21 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-07-21 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-07-21 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-07-21 Claudio Sacerdoti... S_pred moved from Z/times.ma to nat/orders.ma commit | commitdiff | tree | snapshot
2005-07-21 Claudio Sacerdoti... MatitaSync.remove must remove the objects also from... commit | commitdiff | tree | snapshot
2005-07-21 Alberto Griggioremoved old broken code commit | commitdiff | tree | snapshot
2005-07-21 Alberto Griggiointegration with paramodulation commit | commitdiff | tree | snapshot
2005-07-21 Alberto Griggiointegration with paramodulation commit | commitdiff | tree | snapshot
2005-07-21 Alberto Griggiomodifications/fixes for the integration with auto commit | commitdiff | tree | snapshot
2005-07-21 Alberto Griggioentry point of the stand-alone saturate commit | commitdiff | tree | snapshot
2005-07-21 Alberto Griggioadded paramodulation package commit | commitdiff | tree | snapshot
2005-07-21 Claudio Sacerdoti... Comment "comments" removed from the outbox :-) commit | commitdiff | tree | snapshot
2005-07-20 Claudio Sacerdoti... Better tooltips. commit | commitdiff | tree | snapshot
2005-07-20 Claudio Sacerdoti... Tooltip removed. commit | commitdiff | tree | snapshot
2005-07-20 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-07-20 Claudio Sacerdoti... View tactics bar ==> Show tactics bar commit | commitdiff | tree | snapshot
2005-07-20 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-07-20 Claudio Sacerdoti... After a goto the focus is now grabbed back by the inser... commit | commitdiff | tree | snapshot
2005-07-20 Claudio Sacerdoti... Debugging code commented out. commit | commitdiff | tree | snapshot
2005-07-20 Claudio Sacerdoti... Debugging code commented out. commit | commitdiff | tree | snapshot
2005-07-20 Claudio Sacerdoti... According to the Gnome Interface Guidelines the Help... commit | commitdiff | tree | snapshot
2005-07-20 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-07-20 Claudio Sacerdoti... New files AUTHORS and LICENSE. commit | commitdiff | tree | snapshot
2005-07-20 Claudio Sacerdoti... Empty Box.Text changed to Box.smallskip. commit | commitdiff | tree | snapshot
2005-07-20 Claudio Sacerdoti... Several interface improvements here and there. commit | commitdiff | tree | snapshot
2005-07-20 Enrico Tassibetter handling of backgroud compiler process commit | commitdiff | tree | snapshot
2005-07-20 Claudio Sacerdoti... New target cleantests. commit | commitdiff | tree | snapshot
2005-07-20 Claudio Sacerdoti... Pretty printing of the disambiguation environment no... commit | commitdiff | tree | snapshot
2005-07-20 Claudio Sacerdoti... Nicer handling of automatic text insertion. commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.