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

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

2011-12-06	Andrea Asperti	Listb contains some boolean functions over lists.	commit \| commitdiff \| tree \| snapshot
2011-12-06	Wilmer Ricciotti	Matitaweb:	commit \| commitdiff \| tree \| snapshot
2011-12-06	Andrea Asperti	naive sets (A-> Prop)	commit \| commitdiff \| tree \| snapshot
2011-12-05	Andrea Asperti	More properties of iff	commit \| commitdiff \| tree \| snapshot
2011-12-05	Andrea Asperti	Decidability of equality (draft)	commit \| commitdiff \| tree \| snapshot
2011-11-26	Ferruccio Guidi	component "reducibility" updated to new syntax!	commit \| commitdiff \| tree \| snapshot
2011-11-26	Ferruccio Guidi	component "unfold" updated to new syntax ...	commit \| commitdiff \| tree \| snapshot
2011-11-26	Ferruccio Guidi	component "substitution" updated to new syntax ...	commit \| commitdiff \| tree \| snapshot
2011-11-26	Ferruccio Guidi	- "grammar" component updated to new syntax ...	commit \| commitdiff \| tree \| snapshot
2011-11-25	Ferruccio Guidi	Ground_2 ported to new syntax ...	commit \| commitdiff \| tree \| snapshot
2011-11-25	Ferruccio Guidi	bugfix in clearing the replaced variable: a relocation...	commit \| commitdiff \| tree \| snapshot
2011-11-24	Ferruccio Guidi	Destruct: we warn about the substituted variable to...	commit \| commitdiff \| tree \| snapshot
2011-11-24	Ferruccio Guidi	- now destruct tries to clear the replaced variables...	commit \| commitdiff \| tree \| snapshot
2011-11-24	Enrico Tassi	fixed DESTDIR	commit \| commitdiff \| tree \| snapshot
2011-11-24	Enrico Tassi	fixed DESTDIR	commit \| commitdiff \| tree \| snapshot
2011-11-22	Claudio Sacerdoti...	Changes to disambiguation:	commit \| commitdiff \| tree \| snapshot
2011-11-21	Ferruccio Guidi	Basic_2 file names update	commit \| commitdiff \| tree \| snapshot
2011-11-21	Claudio Sacerdoti...	Syntax change: change where what => change what where.	commit \| commitdiff \| tree \| snapshot
2011-11-21	Andrea Asperti	regular expressions	commit \| commitdiff \| tree \| snapshot
2011-11-21	Andrea Asperti	Filtering all equations that cannot be embedded (contai...	commit \| commitdiff \| tree \| snapshot
2011-11-21	Andrea Asperti	Passing the correct subst a metasenv when idexing local...	commit \| commitdiff \| tree \| snapshot
2011-11-21	Andrea Asperti	Passing the right subst and metasenv when indexing...	commit \| commitdiff \| tree \| snapshot
2011-11-21	Andrea Asperti	Added a test for paramodulation filtering terms with...	commit \| commitdiff \| tree \| snapshot
2011-11-21	Andrea Asperti	More debugging info	commit \| commitdiff \| tree \| snapshot
2011-11-21	Andrea Asperti	Assert false removed (in line with the variable case).	commit \| commitdiff \| tree \| snapshot
2011-11-21	Claudio Sacerdoti...	{pattern} => in pattern;	commit \| commitdiff \| tree \| snapshot
2011-11-21	Claudio Sacerdoti...	{pattern} => in pattern;	commit \| commitdiff \| tree \| snapshot
2011-11-21	Andrea Asperti	Typo in comment	commit \| commitdiff \| tree \| snapshot
2011-11-18	Enrico Tassi	hints	commit \| commitdiff \| tree \| snapshot
2011-11-18	Enrico Tassi	coercions	commit \| commitdiff \| tree \| snapshot
2011-11-18	Wilmer Ricciotti	Solves a bug that caused the auto statistics to refer...	commit \| commitdiff \| tree \| snapshot
2011-11-18	Wilmer Ricciotti	Added help for discriminator and inverter.	commit \| commitdiff \| tree \| snapshot
2011-11-18	Enrico Tassi	short notation for "coercion"	commit \| commitdiff \| tree \| snapshot
2011-11-18	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2011-11-18	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2011-11-18	Enrico Tassi	minor Makefile fixes for the release	commit \| commitdiff \| tree \| snapshot
2011-11-18	Claudio Sacerdoti...	Auto parameters documented for 0.99.1.	commit \| commitdiff \| tree \| snapshot
2011-11-18	Claudio Sacerdoti...	No longer used parameters of auto removed.	commit \| commitdiff \| tree \| snapshot
2011-11-18	Claudio Sacerdoti...	The macro /by _/ now expands again to something parsable.	commit \| commitdiff \| tree \| snapshot
2011-11-18	Claudio Sacerdoti...	/by {}/ ==> /by/	commit \| commitdiff \| tree \| snapshot
2011-11-18	Claudio Sacerdoti...	For release 0.99.1.	commit \| commitdiff \| tree \| snapshot
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
next

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

RSS Atom