matita.cs.unibo.it Git - helm.git/shortlog

]> matita.cs.unibo.it Git - helm.git/shortlog

2005-07-12	Luca Padovani	snapshot	commit \| commitdiff \| tree \| snapshot
2005-07-12	Andrea Asperti	Added a function equations_for_goal similar to signatur...	commit \| commitdiff \| tree \| snapshot
2005-07-12	Claudio Sacerdoti...	Debugging comment removed.	commit \| commitdiff \| tree \| snapshot
2005-07-12	Claudio Sacerdoti...	Benchmark fixed. It was broken by the change in the...	commit \| commitdiff \| tree \| snapshot
2005-07-12	Enrico Tassi	added matitamake	commit \| commitdiff \| tree \| snapshot
2005-07-12	Enrico Tassi	added matita.conf.xml.sample	commit \| commitdiff \| tree \| snapshot
2005-07-12	Enrico Tassi	added .moo	commit \| commitdiff \| tree \| snapshot
2005-07-11	Alberto Griggio	now proofs have the correct type :-)	commit \| commitdiff \| tree \| snapshot
2005-07-11	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2005-07-11	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-07-11	Luca Padovani	* implemented unless	commit \| commitdiff \| tree \| snapshot
2005-07-11	Enrico Tassi	default USER_HOME to pwd	commit \| commitdiff \| tree \| snapshot
2005-07-11	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-11	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-11	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-11	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-07-11	Enrico Tassi	matita.conf.xml.sample is now generated	commit \| commitdiff \| tree \| snapshot
2005-07-11	Enrico Tassi	added a flag to do the check of alredy-proved-theorem	commit \| commitdiff \| tree \| snapshot
2005-07-11	Enrico Tassi	tentative hack for the incredible DB slowdown.	commit \| commitdiff \| tree \| snapshot
2005-07-11	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-11	Claudio Sacerdoti...	Bug fixed: the left parameters of a record or inductive...	commit \| commitdiff \| tree \| snapshot
2005-07-11	Luca Padovani	* added backtracking in matching code (hairy code!)	commit \| commitdiff \| tree \| snapshot
2005-07-11	Luca Padovani	* various bug fix related to the environment returned...	commit \| commitdiff \| tree \| snapshot
2005-07-11	Claudio Sacerdoti...	A few .cvsignore here and there.	commit \| commitdiff \| tree \| snapshot
2005-07-11	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-11	Claudio Sacerdoti...	The outtype of the MutCase of the generated elimination...	commit \| commitdiff \| tree \| snapshot
2005-07-11	Claudio Sacerdoti...	Bug fixed in check_sort_elimination in the case (not...	commit \| commitdiff \| tree \| snapshot
2005-07-11	Claudio Sacerdoti...	Bug fixed: the generated elimination principles used...	commit \| commitdiff \| tree \| snapshot
2005-07-11	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-11	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-11	Andrea Asperti	aliases are now compared not only looking at the domain...	commit \| commitdiff \| tree \| snapshot
2005-07-11	Andrea Asperti	only regular files are ending in .ma are now searched	commit \| commitdiff \| tree \| snapshot
2005-07-11	Andrea Asperti	New version of the library, a bit more structured.	commit \| commitdiff \| tree \| snapshot
2005-07-11	Andrea Asperti	Removed the old library.	commit \| commitdiff \| tree \| snapshot
2005-07-09	Stefano Zacchiroli	built test_{lexer,parser} per default	commit \| commitdiff \| tree \| snapshot
2005-07-09	Stefano Zacchiroli	removed dependency on gdome2-xslt	commit \| commitdiff \| tree \| snapshot
2005-07-09	Claudio Sacerdoti...	New test suite for generalize.	commit \| commitdiff \| tree \| snapshot
2005-07-09	Claudio Sacerdoti...	Some terms were processed in the wrong context.	commit \| commitdiff \| tree \| snapshot
2005-07-09	Claudio Sacerdoti...	Generalize ported to the new select up to unification.	commit \| commitdiff \| tree \| snapshot
2005-07-08	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree \| snapshot
2005-07-08	Enrico Tassi	added variant thm flavour	commit \| commitdiff \| tree \| snapshot
2005-07-08	Enrico Tassi	added Variant theorem flavour	commit \| commitdiff \| tree \| snapshot
2005-07-08	Claudio Sacerdoti...	Replace is now working again and it is able to match...	commit \| commitdiff \| tree \| snapshot
2005-07-08	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree \| snapshot
2005-07-08	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-08	Claudio Sacerdoti...	Elim generalized to saturate its argument.	commit \| commitdiff \| tree \| snapshot
2005-07-08	Claudio Sacerdoti...	Elim generalized: the term to eliminate is now saturate...	commit \| commitdiff \| tree \| snapshot
2005-07-08	Claudio Sacerdoti...	Cosmetic changes: a piece of code replaced with a pre...	commit \| commitdiff \| tree \| snapshot
2005-07-08	Claudio Sacerdoti...	dead code removed	commit \| commitdiff \| tree \| snapshot
2005-07-08	Claudio Sacerdoti...	Bug fixed: metavariables generated by the saturation...	commit \| commitdiff \| tree \| snapshot
2005-07-08	Enrico Tassi	it seems the sequent window is refreshed properly now	commit \| commitdiff \| tree \| snapshot
2005-07-08	Enrico Tassi	added query	commit \| commitdiff \| tree \| snapshot
2005-07-08	Stefano Zacchiroli	added some items	commit \| commitdiff \| tree \| snapshot
2005-07-08	Enrico Tassi	fixed url	commit \| commitdiff \| tree \| snapshot
2005-07-08	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-08	Stefano Zacchiroli	version 0.7.1	commit \| commitdiff \| tree \| snapshot
2005-07-08	Claudio Sacerdoti...	The fix and cofix cases of the select were not finished...	commit \| commitdiff \| tree \| snapshot
2005-07-08	Claudio Sacerdoti...	1. PrimitiveTactics.new_metasenv_for_apply changed...	commit \| commitdiff \| tree \| snapshot
2005-07-08	Claudio Sacerdoti...	An impossible case changed to an assert false.	commit \| commitdiff \| tree \| snapshot
2005-07-08	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-07	Stefano Zacchiroli	added some other items	commit \| commitdiff \| tree \| snapshot
2005-07-07	Stefano Zacchiroli	added some todo items	commit \| commitdiff \| tree \| snapshot
2005-07-07	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-07	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-07	Claudio Sacerdoti...	1. Warnings are now printed in orange (yellow was unvis...	commit \| commitdiff \| tree \| snapshot
2005-07-07	Enrico Tassi	apply_tac now catches TypeChecerFailure and raises...	commit \| commitdiff \| tree \| snapshot
2005-07-07	Enrico Tassi	fixed auto when the context has some deleted hypothesis	commit \| commitdiff \| tree \| snapshot
2005-07-07	Claudio Sacerdoti...	No more need for symbolic links: .matita, the configura...	commit \| commitdiff \| tree \| snapshot
2005-07-07	Claudio Sacerdoti...	Bug fixed: uris can contain '-' (e.g. cic:/Sophia-Antip...	commit \| commitdiff \| tree \| snapshot
2005-07-07	Claudio Sacerdoti...	Names bound in lambdas can now be used in the "canonica...	commit \| commitdiff \| tree \| snapshot
2005-07-07	Andrea Asperti	Check function for Matita name convention.	commit \| commitdiff \| tree \| snapshot
2005-07-07	Andrea Asperti	Raising an error on a bad theorem name.	commit \| commitdiff \| tree \| snapshot
2005-07-07	Stefano Zacchiroli	- new upstream release	commit \| commitdiff \| tree \| snapshot
2005-07-07	Stefano Zacchiroli	s/debian\//debian/: avoid issue on make dist with new...	commit \| commitdiff \| tree \| snapshot
2005-07-07	Stefano Zacchiroli	bumped version to 0.0.7	commit \| commitdiff \| tree \| snapshot
2005-07-07	Stefano Zacchiroli	enable static binding of C/OCaml glue code	commit \| commitdiff \| tree \| snapshot
2005-07-07	Ferruccio Guidi	another bug of auto	commit \| commitdiff \| tree \| snapshot
2005-07-07	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-07	Enrico Tassi	$ matita filename	commit \| commitdiff \| tree \| snapshot
2005-07-07	Enrico Tassi	added test for elim	commit \| commitdiff \| tree \| snapshot
2005-07-07	Enrico Tassi	tab -> spaces	commit \| commitdiff \| tree \| snapshot
2005-07-07	Enrico Tassi	alim of now resets the counter	commit \| commitdiff \| tree \| snapshot
2005-07-07	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-07	Claudio Sacerdoti...	matitaclean now removes the .moo file, if existent.	commit \| commitdiff \| tree \| snapshot
2005-07-07	Enrico Tassi	env creation fix	commit \| commitdiff \| tree \| snapshot
2005-07-07	Claudio Sacerdoti...	Bug fixed: no .moo can be generated if the status is...	commit \| commitdiff \| tree \| snapshot
2005-07-07	Claudio Sacerdoti...	Debugging message removed.	commit \| commitdiff \| tree \| snapshot
2005-07-07	Enrico Tassi	now tables are recreated if needed and mattiaclean...	commit \| commitdiff \| tree \| snapshot
2005-07-07	Claudio Sacerdoti...	notify was not called when Margin was raised. Fixed.	commit \| commitdiff \| tree \| snapshot
2005-07-07	Enrico Tassi	tables for matita.owner are created at boot	commit \| commitdiff \| tree \| snapshot
2005-07-07	Enrico Tassi	fixed according to the new fresh name generator	commit \| commitdiff \| tree \| snapshot
2005-07-07	Claudio Sacerdoti...	matita.ma.templ must be symbolically linked	commit \| commitdiff \| tree \| snapshot
2005-07-07	Enrico Tassi	fixed a problem when newScript was called	commit \| commitdiff \| tree \| snapshot
2005-07-07	Enrico Tassi	removed gdom2 dep	commit \| commitdiff \| tree \| snapshot
2005-07-06	Stefano Zacchiroli	- bugfix: correctly handle real "index.theory"	commit \| commitdiff \| tree \| snapshot
2005-07-06	Claudio Sacerdoti...	Bug fixed: "intros n" should fail when there are less...	commit \| commitdiff \| tree \| snapshot
2005-07-06	Stefano Zacchiroli	added index.theory handling	commit \| commitdiff \| tree \| snapshot
2005-07-06	Claudio Sacerdoti...	Fixed a bug in the "do" tactical that made it diverge.	commit \| commitdiff \| tree \| snapshot
2005-07-06	Claudio Sacerdoti...	mk_fresh_name now returns [name] instead of its basenam...	commit \| commitdiff \| tree \| snapshot
2005-07-06	Stefano Zacchiroli	no longer handle Shell exceptions (no more used by...	commit \| commitdiff \| tree \| snapshot
next

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom