]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
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...
2005-07-08 Claudio Sacerdoti... Cosmetic changes: a piece of code replaced with a pre...
2005-07-08 Claudio Sacerdoti... dead code removed
2005-07-08 Claudio Sacerdoti... Bug fixed: metavariables generated by the saturation...
2005-07-08 Enrico Tassiit seems the sequent window is refreshed properly now
2005-07-08 Enrico Tassiadded query
2005-07-08 Stefano Zacchiroliadded some items
2005-07-08 Enrico Tassifixed url
2005-07-08 Claudio Sacerdoti... ...
2005-07-08 Stefano Zacchiroliversion 0.7.1
2005-07-08 Claudio Sacerdoti... The fix and cofix cases of the select were not finished...
2005-07-08 Claudio Sacerdoti... 1. PrimitiveTactics.new_metasenv_for_apply changed...
2005-07-08 Claudio Sacerdoti... An impossible case changed to an assert false.
2005-07-08 Claudio Sacerdoti... ...
2005-07-07 Stefano Zacchiroliadded some other items
2005-07-07 Stefano Zacchiroliadded some todo items
2005-07-07 Claudio Sacerdoti... ...
2005-07-07 Claudio Sacerdoti... ...
2005-07-07 Claudio Sacerdoti... 1. Warnings are now printed in orange (yellow was unvis...
2005-07-07 Enrico Tassiapply_tac now catches TypeChecerFailure and raises...
2005-07-07 Enrico Tassifixed auto when the context has some deleted hypothesis
2005-07-07 Claudio Sacerdoti... No more need for symbolic links: .matita, the configura...
2005-07-07 Claudio Sacerdoti... Bug fixed: uris can contain '-' (e.g. cic:/Sophia-Antip...
2005-07-07 Claudio Sacerdoti... Names bound in lambdas can now be used in the "canonica...
2005-07-07 Andrea AspertiCheck function for Matita name convention.
2005-07-07 Andrea AspertiRaising an error on a bad theorem name.
2005-07-07 Stefano Zacchiroli- new upstream release
2005-07-07 Stefano Zacchirolis/debian\//debian/: avoid issue on make dist with new...
2005-07-07 Stefano Zacchirolibumped version to 0.0.7
2005-07-07 Stefano Zacchirolienable static binding of C/OCaml glue code
2005-07-07 Ferruccio Guidianother bug of auto
2005-07-07 Claudio Sacerdoti... ...
2005-07-07 Enrico Tassi$ matita filename
2005-07-07 Enrico Tassiadded test for elim
2005-07-07 Enrico Tassitab -> spaces
2005-07-07 Enrico Tassialim of now resets the counter
2005-07-07 Claudio Sacerdoti... ...
2005-07-07 Claudio Sacerdoti... matitaclean now removes the .moo file, if existent.
2005-07-07 Enrico Tassienv creation fix
2005-07-07 Claudio Sacerdoti... Bug fixed: no .moo can be generated if the status is...
2005-07-07 Claudio Sacerdoti... Debugging message removed.
2005-07-07 Enrico Tassinow tables are recreated if needed and mattiaclean...
2005-07-07 Claudio Sacerdoti... notify was not called when Margin was raised. Fixed.
2005-07-07 Enrico Tassitables for matita.owner are created at boot
2005-07-07 Enrico Tassifixed according to the new fresh name generator
2005-07-07 Claudio Sacerdoti... matita.ma.templ must be symbolically linked
2005-07-07 Enrico Tassifixed a problem when newScript was called
2005-07-07 Enrico Tassiremoved gdom2 dep
2005-07-06 Stefano Zacchiroli- bugfix: correctly handle real "index.theory"
2005-07-06 Claudio Sacerdoti... Bug fixed: "intros n" should fail when there are less...
2005-07-06 Stefano Zacchiroliadded index.theory handling
2005-07-06 Claudio Sacerdoti... Fixed a bug in the "do" tactical that made it diverge.
2005-07-06 Claudio Sacerdoti... mk_fresh_name now returns [name] instead of its basenam...
2005-07-06 Stefano Zacchirolino longer handle Shell exceptions (no more used by...
next