]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
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
2005-07-19 Stefano Zacchirolisorted cicBrowser's listings
2005-07-19 Claudio Sacerdoti... Bug fix: undo now respects the locked area.
2005-07-19 Claudio Sacerdoti... New menus Undo/Redo (bugged), Cut/Copy/Paste/Delete.
2005-07-19 Enrico Tassiblocked undo of authomatic text (template)
2005-07-19 Claudio Sacerdoti... A tab converted to spaces as it should be.
2005-07-19 Enrico Tassimessage if the duplicate check may take too long
2005-07-19 Enrico Tassimatitac now automatically cleans a non empty baseuri
2005-07-19 Claudio Sacerdoti... ...
2005-07-19 Claudio Sacerdoti... Ctrl^D in matitatop fixed (was broken by the new parser...
2005-07-19 Claudio Sacerdoti... ...
2005-07-19 Claudio Sacerdoti... Missing case (Cast) implemented.
2005-07-19 Claudio Sacerdoti... New naming scheme (by Andrea).
2005-07-19 Claudio Sacerdoti... New naming scheme by Andrea.
2005-07-19 Ferruccio Guidipatched
2005-07-19 Claudio Sacerdoti... Bench fixed.
2005-07-19 Claudio Sacerdoti... Used to left temporary file if something failed.
2005-07-19 Claudio Sacerdoti... Many bugs in the Makefile fixed.
2005-07-19 Andrea AspertifreshNamesGenerator moved into cic_proof_checking.
2005-07-19 Andrea AspertiMoved freshNameGenerator inside cic_proof_checking...
2005-07-19 Andrea AspertiNew naming policy for local variables.
2005-07-19 Claudio Sacerdoti... do_tests.sh now returns with an error if one of the...
2005-07-19 Ferruccio Guidithe decompose tactic is now working
2005-07-19 Enrico Tassiavoids generating a wrong/empty/dummy depend
2005-07-19 Enrico TassiBug fixed: matitaclean and matitadep now ignores every...
2005-07-19 Stefano Zacchirolihandled difference associativity for the same level...
2005-07-18 Claudio Sacerdoti... - A few suggestions on how to solve a few bugs
2005-07-18 Claudio Sacerdoti... Bug fixed: the "find" command now scrolls the window...
2005-07-18 Claudio Sacerdoti... ...
2005-07-18 Claudio Sacerdoti... Bug fixed: clicking on a new position while advancing...
2005-07-18 Claudio Sacerdoti... Smart scrolling during script advancement implemented.
2005-07-18 Stefano Zacchiroliadded generation og disambiguator META (future name...
2005-07-18 Stefano Zacchiroli- synced notation pretty printing with parsing syntax
2005-07-18 Stefano Zacchiroliadded too .moo files notation related statements
2005-07-18 Claudio Sacerdoti... Turbo-undo implemented! It jumps directly to the final...
2005-07-18 Claudio Sacerdoti... OPTIMIZE table every 30 deletions: it should help :-)
2005-07-18 Claudio Sacerdoti... ANALYZE TABLE ==> OPTIMIZE TABLE
2005-07-18 Stefano Zacchiroli- removed old parser
2005-07-18 Enrico Tassicompilation of needed modules now outputs to the log...
2005-07-18 Stefano Zacchirolimerged cic_notation with matita: good luck!
2005-07-18 Stefano Zacchirolimerged cic_notation with disambiguation: good luck!
2005-07-18 Alberto Griggioadding library support (not ready yet)
2005-07-15 Enrico Tassifixed a specific case in development handling
2005-07-15 Ferruccio Guidisome reorganization and some corrections
2005-07-15 Ferruccio Guidisome reorganization and some corrections
2005-07-15 Ferruccio Guidisome reorganization and some corrections
2005-07-15 Enrico Tassimatitamake is integrated with matita
2005-07-15 Enrico Tassifix
2005-07-15 Andrea AspertiAdded a new contrib div_and_mod and few modifs here...
2005-07-15 Andrea AspertiBad name should be an error and not just a warning.
2005-07-15 Andrea AspertiNew version of name checking.
2005-07-14 Stefano Zacchirolisnapshot, notably:
next