]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
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:
2005-07-14 Luca Padovani* added group box (?)
2005-07-14 Stefano Zacchirolibugfix: removed spurious section "helm_registry" from...
2005-07-13 Stefano Zacchiroliadded XmlAttrs attribute for specification of xml attri...
2005-07-13 Enrico Tassiall interface is locked during advance/retract
2005-07-13 Enrico Tassifixed lock mark
2005-07-13 Enrico Tassisome more replace facility: alt-r
2005-07-13 Enrico Tassifix
2005-07-13 Enrico Tassiadded find&replace facility
2005-07-13 Enrico Tassiuse dvariant for associtivity
2005-07-13 Enrico Tassiremoved drop.
2005-07-13 Andrea AspertiNew version of the library.
2005-07-13 Stefano Zacchirolibugfix: "LPAREN" vs LPAREN
2005-07-13 Stefano Zacchirolisnapshot
2005-07-13 Enrico Tassicopied text is unlocked :)
2005-07-13 Enrico Tassimatitamake stuff:
2005-07-12 Luca Padovanisnapshot
2005-07-12 Andrea AspertiAdded a function equations_for_goal similar to signatur...
2005-07-12 Claudio Sacerdoti... Debugging comment removed.
2005-07-12 Claudio Sacerdoti... Benchmark fixed. It was broken by the change in the...
2005-07-12 Enrico Tassiadded matitamake
2005-07-12 Enrico Tassiadded matita.conf.xml.sample
2005-07-12 Enrico Tassiadded .moo
2005-07-11 Alberto Griggionow proofs have the correct type :-)
2005-07-11 Enrico Tassi...
2005-07-11 Enrico Tassifix
2005-07-11 Luca Padovani* implemented unless
2005-07-11 Enrico Tassidefault USER_HOME to pwd
2005-07-11 Claudio Sacerdoti... ...
2005-07-11 Claudio Sacerdoti... ...
2005-07-11 Claudio Sacerdoti... ...
2005-07-11 Enrico Tassifix
2005-07-11 Enrico Tassimatita.conf.xml.sample is now generated
2005-07-11 Enrico Tassiadded a flag to do the check of alredy-proved-theorem
2005-07-11 Enrico Tassitentative hack for the incredible DB slowdown.
2005-07-11 Claudio Sacerdoti... ...
2005-07-11 Claudio Sacerdoti... Bug fixed: the left parameters of a record or inductive...
2005-07-11 Luca Padovani* added backtracking in matching code (hairy code!)
2005-07-11 Luca Padovani* various bug fix related to the environment returned...
2005-07-11 Claudio Sacerdoti... A few .cvsignore here and there.
2005-07-11 Claudio Sacerdoti... ...
2005-07-11 Claudio Sacerdoti... The outtype of the MutCase of the generated elimination...
2005-07-11 Claudio Sacerdoti... Bug fixed in check_sort_elimination in the case (not...
2005-07-11 Claudio Sacerdoti... Bug fixed: the generated elimination principles used...
2005-07-11 Claudio Sacerdoti... ...
2005-07-11 Claudio Sacerdoti... ...
2005-07-11 Andrea Aspertialiases are now compared not only looking at the domain...
2005-07-11 Andrea Aspertionly regular files are ending in .ma are now searched
2005-07-11 Andrea AspertiNew version of the library, a bit more structured.
2005-07-11 Andrea Asperti Removed the old library.
2005-07-09 Stefano Zacchirolibuilt test_{lexer,parser} per default
2005-07-09 Stefano Zacchiroliremoved dependency on gdome2-xslt
2005-07-09 Claudio Sacerdoti... New test suite for generalize.
2005-07-09 Claudio Sacerdoti... Some terms were processed in the wrong context.
2005-07-09 Claudio Sacerdoti... Generalize ported to the new select up to unification.
2005-07-08 Stefano Zacchirolisnapshot
2005-07-08 Enrico Tassiadded variant thm flavour
2005-07-08 Enrico Tassiadded Variant theorem flavour
2005-07-08 Claudio Sacerdoti... Replace is now working again and it is able to match...
2005-07-08 Stefano Zacchirolisnapshot
2005-07-08 Claudio Sacerdoti... ...
2005-07-08 Claudio Sacerdoti... Elim generalized to saturate its argument.
2005-07-08 Claudio Sacerdoti... Elim generalized: the term to eliminate is now saturate...
next