]> 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 fix: undo now respects the locked area.
[helm.git] / helm / matita /
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
2005-07-13 Enrico Tassifixed lock mark tree | commitdiff
2005-07-13 Enrico Tassisome more replace facility: alt-r tree | commitdiff
2005-07-13 Enrico Tassifix tree | commitdiff
2005-07-13 Enrico Tassiadded find&replace facility tree | commitdiff
2005-07-13 Enrico Tassiuse dvariant for associtivity tree | commitdiff
2005-07-13 Enrico Tassiremoved drop. tree | commitdiff
2005-07-13 Andrea AspertiNew version of the library. tree | commitdiff
2005-07-13 Enrico Tassicopied text is unlocked :) tree | commitdiff
2005-07-13 Enrico Tassimatitamake stuff: tree | commitdiff
2005-07-12 Claudio Sacerdoti... Debugging comment removed. tree | commitdiff
2005-07-12 Claudio Sacerdoti... Benchmark fixed. It was broken by the change in the... tree | commitdiff
2005-07-12 Enrico Tassiadded matitamake tree | commitdiff
2005-07-12 Enrico Tassiadded matita.conf.xml.sample tree | commitdiff
2005-07-12 Enrico Tassiadded .moo tree | commitdiff
2005-07-11 Enrico Tassi... tree | commitdiff
2005-07-11 Enrico Tassifix tree | commitdiff
2005-07-11 Enrico Tassidefault USER_HOME to pwd tree | commitdiff
2005-07-11 Claudio Sacerdoti... ... tree | commitdiff
2005-07-11 Claudio Sacerdoti... ... tree | commitdiff
2005-07-11 Claudio Sacerdoti... ... tree | commitdiff
2005-07-11 Enrico Tassifix tree | commitdiff
2005-07-11 Enrico Tassimatita.conf.xml.sample is now generated tree | commitdiff
2005-07-11 Enrico Tassiadded a flag to do the check of alredy-proved-theorem tree | commitdiff
2005-07-11 Claudio Sacerdoti... ... tree | commitdiff
2005-07-11 Claudio Sacerdoti... A few .cvsignore here and there. tree | commitdiff
2005-07-11 Claudio Sacerdoti... ... tree | commitdiff
2005-07-11 Claudio Sacerdoti... Bug fixed: the generated elimination principles used... tree | commitdiff
2005-07-11 Claudio Sacerdoti... ... tree | commitdiff
2005-07-11 Claudio Sacerdoti... ... tree | commitdiff
2005-07-11 Andrea Aspertialiases are now compared not only looking at the domain... tree | commitdiff
2005-07-11 Andrea Aspertionly regular files are ending in .ma are now searched tree | commitdiff
2005-07-11 Andrea AspertiNew version of the library, a bit more structured. tree | commitdiff
2005-07-11 Andrea Asperti Removed the old library. tree | commitdiff
2005-07-09 Claudio Sacerdoti... New test suite for generalize. tree | commitdiff
2005-07-08 Enrico Tassiadded variant thm flavour tree | commitdiff
2005-07-08 Claudio Sacerdoti... Replace is now working again and it is able to match... tree | commitdiff
2005-07-08 Claudio Sacerdoti... ... tree | commitdiff
2005-07-08 Claudio Sacerdoti... Elim generalized to saturate its argument. tree | commitdiff
2005-07-08 Claudio Sacerdoti... dead code removed tree | commitdiff
2005-07-08 Claudio Sacerdoti... Bug fixed: metavariables generated by the saturation... tree | commitdiff
2005-07-08 Enrico Tassiit seems the sequent window is refreshed properly now tree | commitdiff
2005-07-08 Enrico Tassiadded query tree | commitdiff
2005-07-08 Stefano Zacchiroliadded some items tree | commitdiff
2005-07-08 Enrico Tassifixed url tree | commitdiff
2005-07-08 Claudio Sacerdoti... ... tree | commitdiff
2005-07-08 Claudio Sacerdoti... 1. PrimitiveTactics.new_metasenv_for_apply changed... tree | commitdiff
2005-07-08 Claudio Sacerdoti... ... tree | commitdiff
2005-07-07 Stefano Zacchiroliadded some other items tree | commitdiff
2005-07-07 Stefano Zacchiroliadded some todo items tree | commitdiff
2005-07-07 Claudio Sacerdoti... ... tree | commitdiff
2005-07-07 Claudio Sacerdoti... ... tree | commitdiff
2005-07-07 Claudio Sacerdoti... 1. Warnings are now printed in orange (yellow was unvis... tree | commitdiff
2005-07-07 Claudio Sacerdoti... No more need for symbolic links: .matita, the configura... tree | commitdiff
2005-07-07 Andrea AspertiRaising an error on a bad theorem name. tree | commitdiff
2005-07-07 Ferruccio Guidianother bug of auto tree | commitdiff
2005-07-07 Claudio Sacerdoti... ... tree | commitdiff
2005-07-07 Enrico Tassi$ matita filename tree | commitdiff
2005-07-07 Enrico Tassiadded test for elim tree | commitdiff
2005-07-07 Claudio Sacerdoti... ... tree | commitdiff
2005-07-07 Claudio Sacerdoti... matitaclean now removes the .moo file, if existent. tree | commitdiff
2005-07-07 Enrico Tassienv creation fix tree | commitdiff
2005-07-07 Claudio Sacerdoti... Bug fixed: no .moo can be generated if the status is... tree | commitdiff
2005-07-07 Claudio Sacerdoti... Debugging message removed. tree | commitdiff
2005-07-07 Enrico Tassinow tables are recreated if needed and mattiaclean... tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.