]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2005-07-26 Stefano Zacchirolifixed typo in helpers for generating hv and hov boxes
2005-07-26 Stefano Zacchirolidraft version of locate_in_term
2005-07-26 Claudio Sacerdoti... ...
2005-07-26 Stefano Zacchiroliunreleased version of the bindings, with more gtkmathvi...
2005-07-26 Claudio Sacerdoti... ...
2005-07-26 Claudio Sacerdoti... **** Experimental: ****
2005-07-26 Claudio Sacerdoti... typo fixed
2005-07-26 Claudio Sacerdoti... "Coq's " prefix added to every interpretation.
2005-07-26 Claudio Sacerdoti... Bug fixed: list_uniq o List.sort used in the lookup...
2005-07-26 Enrico Tassibigger disambiguate chiuches win
2005-07-26 Enrico Tassi...
2005-07-25 Claudio Sacerdoti... More notation (up to where the open bugs allow me to...
2005-07-25 Claudio Sacerdoti... A little bit more of notation here and there.
2005-07-25 Ferruccio Guidisome more changes and corrections
2005-07-25 Claudio Sacerdoti... Notation for equality used everywhere.
2005-07-25 Claudio Sacerdoti... ...
2005-07-25 Claudio Sacerdoti... Bug solved: X-style paste (i.e. paste of the PRIMARY...
2005-07-25 Claudio Sacerdoti... paramodulation added.
2005-07-25 Claudio Sacerdoti... Highlighting of parse errors implemented.
2005-07-25 Claudio Sacerdoti... Code simplification.
2005-07-25 Claudio Sacerdoti... Bug fixed: the _advance method must delete the parsed...
2005-07-25 Claudio Sacerdoti... ...
2005-07-25 Claudio Sacerdoti... 1. select_all added to the Edit menu; no shortcut for...
2005-07-25 Claudio Sacerdoti... The edit menu items (copy/cut/delete/paste) are now...
2005-07-25 Claudio Sacerdoti... - MatitaLog output redirected to stderr for every messa...
2005-07-25 Enrico Tassibuilding/cleaning a devel now makes buttons insensitive
2005-07-25 Claudio Sacerdoti... ...
2005-07-25 Stefano Zacchirolimerged transformations on top of notation code
2005-07-25 Stefano Zacchirolihandle multiple href
2005-07-25 Stefano Zacchiroliadded split
2005-07-25 Stefano Zacchiroliimplemented transformations on top of notation code
2005-07-25 Stefano Zacchirolimoved add_xml_declaration here
2005-07-25 Stefano Zacchiroli- addded unicode_of_tex
2005-07-25 Claudio Sacerdoti... Paramodulation initialized.
2005-07-25 Claudio Sacerdoti... ...
2005-07-22 Alberto Griggioadded optional "paramodulation" parameter to auto to...
2005-07-22 Alberto Griggioadded optional "paramodulation" parameter to auto to...
2005-07-22 Alberto Griggio- better exception handling
2005-07-22 Claudio Sacerdoti... When matita is started on a non-existent file, it avoid...
2005-07-22 Claudio Sacerdoti... Original semantics of a now almost random piece of...
2005-07-22 Andrea AspertiAn object should be removed from disk (i.e. from the...
2005-07-22 Andrea AspertiCicEnvironment.remove did not remove the object from...
2005-07-22 Enrico Tassifix
2005-07-22 Andrea AspertiRemoved debugging print.
2005-07-22 Claudio Sacerdoti... matitaclean all now destroys the .matita/xml directory
2005-07-22 Claudio Sacerdoti... Big changes:
2005-07-22 Enrico Tassiadd_obj is ATOMIC
2005-07-22 Enrico Tassisome prerr to better understand the mkdir -p error
2005-07-22 Enrico Tassiadded env content debug print
2005-07-22 Claudio Sacerdoti... ...
2005-07-21 Alberto Griggioadded some typechecks to avoid using equations with...
2005-07-21 Alberto Griggiodependencies
2005-07-21 Alberto Griggioremoved .depend from .cvsignore
2005-07-21 Alberto Griggioadded some typechecks to avoid using equations with...
2005-07-21 Alberto Griggioadded CicNotation.load_notation call to disambiguate...
2005-07-21 Alberto Griggioif paramodulation fails, go on with the normal auto...
2005-07-21 Claudio Sacerdoti... Bug fixed: LICENSE and AUTHORS were searched in the...
2005-07-21 Claudio Sacerdoti... ...
2005-07-21 Claudio Sacerdoti... Regression fixed: goto used to stop (again!) to the...
2005-07-21 Claudio Sacerdoti... ...
2005-07-21 Claudio Sacerdoti... ...
2005-07-21 Claudio Sacerdoti... ...
2005-07-21 Claudio Sacerdoti... S_pred moved from Z/times.ma to nat/orders.ma
2005-07-21 Claudio Sacerdoti... MatitaSync.remove must remove the objects also from...
2005-07-21 Alberto Griggioremoved old broken code
2005-07-21 Alberto Griggiointegration with paramodulation
2005-07-21 Alberto Griggiointegration with paramodulation
2005-07-21 Alberto Griggiomodifications/fixes for the integration with auto
2005-07-21 Alberto Griggioentry point of the stand-alone saturate
2005-07-21 Alberto Griggioadded paramodulation package
2005-07-21 Claudio Sacerdoti... Comment "comments" removed from the outbox :-)
2005-07-20 Claudio Sacerdoti... Better tooltips.
2005-07-20 Claudio Sacerdoti... Tooltip removed.
2005-07-20 Claudio Sacerdoti... ...
2005-07-20 Claudio Sacerdoti... View tactics bar ==> Show tactics bar
2005-07-20 Claudio Sacerdoti... ...
2005-07-20 Claudio Sacerdoti... After a goto the focus is now grabbed back by the inser...
2005-07-20 Claudio Sacerdoti... Debugging code commented out.
2005-07-20 Claudio Sacerdoti... Debugging code commented out.
2005-07-20 Claudio Sacerdoti... According to the Gnome Interface Guidelines the Help...
2005-07-20 Claudio Sacerdoti... ...
2005-07-20 Claudio Sacerdoti... New files AUTHORS and LICENSE.
2005-07-20 Claudio Sacerdoti... Empty Box.Text changed to Box.smallskip.
2005-07-20 Claudio Sacerdoti... Several interface improvements here and there.
2005-07-20 Enrico Tassibetter handling of backgroud compiler process
2005-07-20 Claudio Sacerdoti... New target cleantests.
2005-07-20 Claudio Sacerdoti... Pretty printing of the disambiguation environment no...
2005-07-20 Claudio Sacerdoti... Nicer handling of automatic text insertion.
2005-07-20 Claudio Sacerdoti... A "\n" is now prepended to the aliases that are inserte...
2005-07-20 Claudio Sacerdoti... Bug fixed: we used to use iterators on a text that...
2005-07-20 Stefano Zacchirolifixed typo in 'leq interpretation uri which enable...
2005-07-20 Claudio Sacerdoti... ...
2005-07-20 Claudio Sacerdoti... ...
2005-07-20 Claudio Sacerdoti... Undo/Redo in the popup menu are now working correctly.
2005-07-20 Claudio Sacerdoti... Redo fixed with a strategy similar (but not equal)...
2005-07-20 Andrea AspertiAssert false removed (although conceptually correct).
2005-07-19 Claudio Sacerdoti... Unuseful code removed.
2005-07-19 Claudio Sacerdoti... ...
2005-07-19 Stefano Zacchirolifixed file descriptor leak
2005-07-19 Stefano Zacchiroliuse safe_remove to remove files instead of Unix.unlink
next