]> matita.cs.unibo.it Git - helm.git/history - helm
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
sorted cicBrowser's listings
[helm.git] / helm /
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... Missing case (Cast) implemented. 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 AspertifreshNamesGenerator moved into cic_proof_checking. tree | commitdiff
2005-07-19 Andrea AspertiMoved freshNameGenerator inside cic_proof_checking... 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-19 Stefano Zacchirolihandled difference associativity for the same level... 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 generation og disambiguator META (future name... tree | commitdiff
2005-07-18 Stefano Zacchiroli- synced notation pretty printing with parsing syntax 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 Claudio Sacerdoti... ANALYZE TABLE ==> OPTIMIZE TABLE tree | commitdiff
2005-07-18 Stefano Zacchiroli- removed old parser 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-18 Stefano Zacchirolimerged cic_notation with disambiguation: good luck! tree | commitdiff
2005-07-18 Alberto Griggioadding library support (not ready yet) tree | commitdiff
2005-07-15 Enrico Tassifixed a specific case in development handling tree | commitdiff
2005-07-15 Ferruccio Guidisome reorganization and some corrections tree | commitdiff
2005-07-15 Ferruccio Guidisome reorganization and some corrections tree | commitdiff
2005-07-15 Ferruccio Guidisome reorganization and some corrections 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-15 Andrea AspertiNew version of name checking. tree | commitdiff
2005-07-14 Stefano Zacchirolisnapshot, notably: tree | commitdiff
2005-07-14 Luca Padovani* added group box (?) tree | commitdiff
2005-07-14 Stefano Zacchirolibugfix: removed spurious section "helm_registry" from... tree | commitdiff
2005-07-13 Stefano Zacchiroliadded XmlAttrs attribute for specification of xml attri... 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 Stefano Zacchirolibugfix: "LPAREN" vs LPAREN tree | commitdiff
2005-07-13 Stefano Zacchirolisnapshot tree | commitdiff
2005-07-13 Enrico Tassicopied text is unlocked :) tree | commitdiff
2005-07-13 Enrico Tassimatitamake stuff: tree | commitdiff
2005-07-12 Luca Padovanisnapshot tree | commitdiff
2005-07-12 Andrea AspertiAdded a function equations_for_goal similar to signatur... 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 Alberto Griggionow proofs have the correct type :-) tree | commitdiff
2005-07-11 Enrico Tassi... tree | commitdiff
2005-07-11 Enrico Tassifix tree | commitdiff
2005-07-11 Luca Padovani* implemented unless 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 Enrico Tassitentative hack for the incredible DB slowdown. tree | commitdiff
2005-07-11 Claudio Sacerdoti... ... tree | commitdiff
2005-07-11 Claudio Sacerdoti... Bug fixed: the left parameters of a record or inductive... tree | commitdiff
2005-07-11 Luca Padovani* added backtracking in matching code (hairy code!) tree | commitdiff
2005-07-11 Luca Padovani* various bug fix related to the environment returned... 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... The outtype of the MutCase of the generated elimination... tree | commitdiff
2005-07-11 Claudio Sacerdoti... Bug fixed in check_sort_elimination in the case (not... 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
next
Unnamed repository; edit this file 'description' to name the repository.