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

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

2011-11-18	Claudio Sacerdoti...	* Almost ready for release 0.99.1.	commit \| commitdiff \| tree \| snapshot
2011-11-18	Ferruccio Guidi	support for candidates of reducibility started ...	commit \| commitdiff \| tree \| snapshot
2011-11-18	Claudio Sacerdoti...	intros macro fixed	commit \| commitdiff \| tree \| snapshot
2011-11-17	Enrico Tassi	collapse applications with a Match as head while indexing	commit \| commitdiff \| tree \| snapshot
2011-11-17	Enrico Tassi	collapse applications with a Match as head while indexing	commit \| commitdiff \| tree \| snapshot
2011-11-17	Claudio Sacerdoti...	Towards 0.95.1.	commit \| commitdiff \| tree \| snapshot
2011-11-17	Claudio Sacerdoti...	Towards the 0.95.1 release.	commit \| commitdiff \| tree \| snapshot
2011-11-17	Claudio Sacerdoti...	In preparation of 0.95.1 release.	commit \| commitdiff \| tree \| snapshot
2011-11-16	Ferruccio Guidi	- lambda_delta: context-free weak head normal forms...	commit \| commitdiff \| tree \| snapshot
2011-11-16	Claudio Sacerdoti...	Non working parts of the library commented out.	commit \| commitdiff \| tree \| snapshot
2011-11-16	Claudio Sacerdoti...	Never ported to new syntax.	commit \| commitdiff \| tree \| snapshot
2011-11-16	Andrea Asperti	inversion replaced by elim (???)	commit \| commitdiff \| tree \| snapshot
2011-11-16	Ferruccio Guidi	support for weak head normal forms started ...	commit \| commitdiff \| tree \| snapshot
2011-11-16	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-11-16	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-11-16	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-11-16	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-11-15	matitaweb	Fixes a bug in NnAuto: printing the statistics triggere...	commit \| commitdiff \| tree \| snapshot
2011-11-15	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-11-15	matitaweb	Matitaweb: Fixed typo which caused the compilation...	commit \| commitdiff \| tree \| snapshot
2011-11-15	Wilmer Ricciotti	Matitaweb: goto bottom can now be undone step by step...	commit \| commitdiff \| tree \| snapshot
2011-11-15	Andrea Asperti	non-facts local candidates must be applied too in prese...	commit \| commitdiff \| tree \| snapshot
2011-11-15	Andrea Asperti	non-facts local candidates must be applied too in prese...	commit \| commitdiff \| tree \| snapshot
2011-11-14	Ferruccio Guidi	file names and description update	commit \| commitdiff \| tree \| snapshot
2011-11-14	Ferruccio Guidi	- we proved that context-free reduction admits no one...	commit \| commitdiff \| tree \| snapshot
2011-11-14	Wilmer Ricciotti	Bug fix in inversion:	commit \| commitdiff \| tree \| snapshot
2011-11-14	Andrea Asperti	Assert false is no longer true due to tooflex filtering.	commit \| commitdiff \| tree \| snapshot
2011-11-14	Wilmer Ricciotti	Added dependent inversion (default case for jmeq)	commit \| commitdiff \| tree \| snapshot
2011-11-14	Andrea Asperti	Too flexible terms are pruned.	commit \| commitdiff \| tree \| snapshot
2011-11-11	matitaweb	commit by user utente1	commit \| commitdiff \| tree \| snapshot
2011-11-11	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-11-09	matitaweb	Matitaweb: fixes compilation errors and minor graphical...	commit \| commitdiff \| tree \| snapshot
2011-11-09	Wilmer Ricciotti	Matitaweb:	commit \| commitdiff \| tree \| snapshot
2011-11-09	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-11-09	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-11-09	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-11-08	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-11-07	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-11-07	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-11-07	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-11-07	Andrea Asperti	Removed some dead code.	commit \| commitdiff \| tree \| snapshot
2011-11-07	Andrea Asperti	New management of justifications.	commit \| commitdiff \| tree \| snapshot
2011-11-05	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-11-05	Ferruccio Guidi	- file names update	commit \| commitdiff \| tree \| snapshot
2011-11-04	Ferruccio Guidi	- lib: one lemma about equality was missing	commit \| commitdiff \| tree \| snapshot
2011-11-04	Ferruccio Guidi	- two discrimination lemmas	commit \| commitdiff \| tree \| snapshot
2011-11-03	Ferruccio Guidi	- contex-free normal forms started	commit \| commitdiff \| tree \| snapshot
2011-11-03	Andrea Asperti	1. we compare the expected branching with the actual...	commit \| commitdiff \| tree \| snapshot
2011-11-03	Andrea Asperti	At top level, we reindex the local equations for each...	commit \| commitdiff \| tree \| snapshot
2011-11-02	Claudio Sacerdoti...	trans_eq and sym_eq indexing restored. Apparently they...	commit \| commitdiff \| tree \| snapshot
2011-11-02	Wilmer Ricciotti	Matitaweb: Added jquery.js (also used in some of the...	commit \| commitdiff \| tree \| snapshot
2011-11-02	Wilmer Ricciotti	Matitaweb:	commit \| commitdiff \| tree \| snapshot
2011-11-02	Andrea Asperti	The proof of append_cons used transitive_eq, not indexed.	commit \| commitdiff \| tree \| snapshot
2011-11-02	Andrea Asperti	Disabled printings.	commit \| commitdiff \| tree \| snapshot
2011-11-02	Andrea Asperti	--Tre the expected branching with the actual one and	commit \| commitdiff \| tree \| snapshot
2011-10-28	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-28	Wilmer Ricciotti	Matitaweb: added layout.js (currently manages resizing...	commit \| commitdiff \| tree \| snapshot
2011-10-28	Andrea Asperti	New management of resulting subst in deep_eq: used...	commit \| commitdiff \| tree \| snapshot
2011-10-28	Andrea Asperti	-applicative_case has been rewritten and simplified;	commit \| commitdiff \| tree \| snapshot
2011-10-28	Andrea Asperti	Some qed-	commit \| commitdiff \| tree \| snapshot
2011-10-28	Andrea Asperti	some qed-	commit \| commitdiff \| tree \| snapshot
2011-10-28	Andrea Asperti	New management of the resulting substitution in deep eq.	commit \| commitdiff \| tree \| snapshot
2011-10-28	Andrea Asperti	-pplicative_case has been rewritten and simplified;	commit \| commitdiff \| tree \| snapshot
2011-10-27	Wilmer Ricciotti	Matitaweb: Fixed a bug in matitaweb.js concerning disam...	commit \| commitdiff \| tree \| snapshot
2011-10-26	Ferruccio Guidi	refactoring ...	commit \| commitdiff \| tree \| snapshot
2011-10-25	Ferruccio Guidi	-- some renaming in basic_2	commit \| commitdiff \| tree \| snapshot
2011-10-25	Ferruccio Guidi	old pr2_subst1 (Basic-1) closed!	commit \| commitdiff \| tree \| snapshot
2011-10-24	Wilmer Ricciotti	Matitaweb: first attempt at web UI for disambiguation.	commit \| commitdiff \| tree \| snapshot
2011-10-21	Andrea Asperti	Now it should compile :-)	commit \| commitdiff \| tree \| snapshot
2011-10-21	Andrea Asperti	Optimization. Check removed.	commit \| commitdiff \| tree \| snapshot
2011-10-21	Andrea Asperti	Disabled debug.	commit \| commitdiff \| tree \| snapshot
2011-10-20	Andrea Asperti	1. ported to camlp5	commit \| commitdiff \| tree \| snapshot
2011-10-20	Andrea Asperti	typos	commit \| commitdiff \| tree \| snapshot
2011-10-20	Andrea Asperti	We order alternatives according to the number of subgoa...	commit \| commitdiff \| tree \| snapshot
2011-10-20	Andrea Asperti	QED takes a boolean parameter governing indexing.	commit \| commitdiff \| tree \| snapshot
2011-10-20	Andrea Asperti	Alternatives are ordered according to the number of...	commit \| commitdiff \| tree \| snapshot
2011-10-20	Wilmer Ricciotti	JMeq lifted to work on Type[1].	commit \| commitdiff \| tree \| snapshot
2011-10-20	Wilmer Ricciotti	Removed some unneeded normalizations from the generatio...	commit \| commitdiff \| tree \| snapshot
2011-10-20	Wilmer Ricciotti	Matitaweb: added preliminary support for interactive...	commit \| commitdiff \| tree \| snapshot
2011-10-19	matitaweb	Matitaweb: added a function MatitaAuthentication.get_us...	commit \| commitdiff \| tree \| snapshot
2011-10-19	Ferruccio Guidi	- the relocation properties of cpr are closed!	commit \| commitdiff \| tree \| snapshot
2011-10-19	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-19	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-19	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-18	matitaweb	Localization of errors.	commit \| commitdiff \| tree \| snapshot
2011-10-18	Wilmer Ricciotti	Changes in "destruct" tactic (allowing performance...	commit \| commitdiff \| tree \| snapshot
2011-10-17	Enrico Tassi	compact coercion command: "coercion foo."	commit \| commitdiff \| tree \| snapshot
2011-10-17	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-17	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-17	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-17	matitaweb	commit by user lroversi	commit \| commitdiff \| tree \| snapshot
2011-10-14	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-14	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-14	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-14	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-14	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-14	matitaweb	Made a copy of basics/list.ma as a base for chapter 3.	commit \| commitdiff \| tree \| snapshot
2011-10-14	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-13	matitaweb	commit by user enrico	commit \| commitdiff \| tree \| snapshot
2011-10-13	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom