]> matita.cs.unibo.it Git - helm.git/history - helm/matita
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Bug solved: X-style paste (i.e. paste of the PRIMARY selection using the
[helm.git] / helm / matita /
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
2005-07-22 Enrico Tassiadded env content debug print tree | commitdiff
2005-07-22 Claudio Sacerdoti... ... tree | commitdiff
2005-07-21 Claudio Sacerdoti... Bug fixed: LICENSE and AUTHORS were searched in the... tree | commitdiff
2005-07-21 Claudio Sacerdoti... ... tree | commitdiff
2005-07-21 Claudio Sacerdoti... Regression fixed: goto used to stop (again!) to the... tree | commitdiff
2005-07-21 Claudio Sacerdoti... ... tree | commitdiff
2005-07-21 Claudio Sacerdoti... ... tree | commitdiff
2005-07-21 Claudio Sacerdoti... ... tree | commitdiff
2005-07-21 Claudio Sacerdoti... S_pred moved from Z/times.ma to nat/orders.ma tree | commitdiff
2005-07-21 Claudio Sacerdoti... MatitaSync.remove must remove the objects also from... tree | commitdiff
2005-07-21 Alberto Griggiointegration with paramodulation tree | commitdiff
2005-07-21 Claudio Sacerdoti... Comment "comments" removed from the outbox :-) tree | commitdiff
2005-07-20 Claudio Sacerdoti... Better tooltips. tree | commitdiff
2005-07-20 Claudio Sacerdoti... Tooltip removed. tree | commitdiff
2005-07-20 Claudio Sacerdoti... ... tree | commitdiff
2005-07-20 Claudio Sacerdoti... View tactics bar ==> Show tactics bar tree | commitdiff
2005-07-20 Claudio Sacerdoti... ... tree | commitdiff
2005-07-20 Claudio Sacerdoti... After a goto the focus is now grabbed back by the inser... tree | commitdiff
2005-07-20 Claudio Sacerdoti... Debugging code commented out. tree | commitdiff
2005-07-20 Claudio Sacerdoti... According to the Gnome Interface Guidelines the Help... tree | commitdiff
2005-07-20 Claudio Sacerdoti... ... tree | commitdiff
2005-07-20 Claudio Sacerdoti... New files AUTHORS and LICENSE. tree | commitdiff
2005-07-20 Claudio Sacerdoti... Several interface improvements here and there. tree | commitdiff
2005-07-20 Enrico Tassibetter handling of backgroud compiler process tree | commitdiff
2005-07-20 Claudio Sacerdoti... New target cleantests. tree | commitdiff
2005-07-20 Claudio Sacerdoti... Pretty printing of the disambiguation environment no... tree | commitdiff
2005-07-20 Claudio Sacerdoti... Nicer handling of automatic text insertion. tree | commitdiff
2005-07-20 Claudio Sacerdoti... A "\n" is now prepended to the aliases that are inserte... tree | commitdiff
2005-07-20 Claudio Sacerdoti... Bug fixed: we used to use iterators on a text that... tree | commitdiff
2005-07-20 Stefano Zacchirolifixed typo in 'leq interpretation uri which enable... tree | commitdiff
2005-07-20 Claudio Sacerdoti... ... tree | commitdiff
2005-07-20 Claudio Sacerdoti... ... tree | commitdiff
2005-07-20 Claudio Sacerdoti... Undo/Redo in the popup menu are now working correctly. tree | commitdiff
2005-07-20 Claudio Sacerdoti... Redo fixed with a strategy similar (but not equal)... tree | commitdiff
2005-07-19 Claudio Sacerdoti... Unuseful code removed. tree | commitdiff
2005-07-19 Claudio Sacerdoti... ... tree | commitdiff
2005-07-19 Stefano Zacchirolifixed file descriptor leak tree | commitdiff
2005-07-19 Stefano Zacchiroliuse safe_remove to remove files instead of Unix.unlink tree | commitdiff
2005-07-19 Stefano Zacchirolisorted cicBrowser's listings tree | commitdiff
2005-07-19 Claudio Sacerdoti... Bug fix: undo now respects the locked area. tree | commitdiff
2005-07-19 Claudio Sacerdoti... New menus Undo/Redo (bugged), Cut/Copy/Paste/Delete. tree | commitdiff
2005-07-19 Enrico Tassiblocked undo of authomatic text (template) tree | commitdiff
2005-07-19 Claudio Sacerdoti... A tab converted to spaces as it should be. tree | commitdiff
2005-07-19 Enrico Tassimessage if the duplicate check may take too long tree | commitdiff
2005-07-19 Enrico Tassimatitac now automatically cleans a non empty baseuri tree | commitdiff
2005-07-19 Claudio Sacerdoti... ... tree | commitdiff
2005-07-19 Claudio Sacerdoti... Ctrl^D in matitatop fixed (was broken by the new parser... tree | commitdiff
2005-07-19 Claudio Sacerdoti... ... tree | commitdiff
2005-07-19 Claudio Sacerdoti... New naming scheme (by Andrea). tree | commitdiff
2005-07-19 Claudio Sacerdoti... New naming scheme by Andrea. tree | commitdiff
2005-07-19 Ferruccio Guidipatched tree | commitdiff
2005-07-19 Claudio Sacerdoti... Bench fixed. tree | commitdiff
2005-07-19 Claudio Sacerdoti... Used to left temporary file if something failed. tree | commitdiff
2005-07-19 Claudio Sacerdoti... Many bugs in the Makefile fixed. tree | commitdiff
2005-07-19 Andrea AspertiNew naming policy for local variables. tree | commitdiff
2005-07-19 Claudio Sacerdoti... do_tests.sh now returns with an error if one of the... tree | commitdiff
2005-07-19 Ferruccio Guidithe decompose tactic is now working tree | commitdiff
2005-07-19 Enrico Tassiavoids generating a wrong/empty/dummy depend tree | commitdiff
2005-07-19 Enrico TassiBug fixed: matitaclean and matitadep now ignores every... tree | commitdiff
2005-07-18 Claudio Sacerdoti... - A few suggestions on how to solve a few bugs tree | commitdiff
2005-07-18 Claudio Sacerdoti... Bug fixed: the "find" command now scrolls the window... tree | commitdiff
2005-07-18 Claudio Sacerdoti... ... tree | commitdiff
2005-07-18 Claudio Sacerdoti... Bug fixed: clicking on a new position while advancing... tree | commitdiff
2005-07-18 Claudio Sacerdoti... Smart scrolling during script advancement implemented. tree | commitdiff
2005-07-18 Stefano Zacchiroliadded too .moo files notation related statements tree | commitdiff
2005-07-18 Claudio Sacerdoti... Turbo-undo implemented! It jumps directly to the final... tree | commitdiff
2005-07-18 Claudio Sacerdoti... OPTIMIZE table every 30 deletions: it should help :-) tree | commitdiff
2005-07-18 Enrico Tassicompilation of needed modules now outputs to the log... tree | commitdiff
2005-07-18 Stefano Zacchirolimerged cic_notation with matita: good luck! tree | commitdiff
2005-07-15 Enrico Tassifixed a specific case in development handling tree | commitdiff
2005-07-15 Enrico Tassimatitamake is integrated with matita tree | commitdiff
2005-07-15 Enrico Tassifix tree | commitdiff
2005-07-15 Andrea AspertiAdded a new contrib div_and_mod and few modifs here... tree | commitdiff
2005-07-15 Andrea AspertiBad name should be an error and not just a warning. tree | commitdiff
2005-07-13 Enrico Tassiall interface is locked during advance/retract tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.