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

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

2011-12-12	Ferruccio Guidi	- we improved and updated the generated web pages	commit \| commitdiff \| tree \| snapshot
2011-12-12	Claudio Sacerdoti...	Pairs are now records.	commit \| commitdiff \| tree \| snapshot
2011-12-12	Claudio Sacerdoti...	Parentheses are now needed. I do not know why and when...	commit \| commitdiff \| tree \| snapshot
2011-12-12	Wilmer Ricciotti	Matitaweb: changes to matitadaemon.ml to make it work...	commit \| commitdiff \| tree \| snapshot
2011-12-12	Wilmer Ricciotti	Matitaweb: added utility for conversion of user dbs...	commit \| commitdiff \| tree \| snapshot
2011-12-12	Claudio Sacerdoti...	Re-Ported to	commit \| commitdiff \| tree \| snapshot
2011-12-12	Wilmer Ricciotti	Matitaweb: secure SHA-256 encryption for passwords.	commit \| commitdiff \| tree \| snapshot
2011-12-12	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-12-12	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-12-12	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-12-12	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-12-12	Ferruccio Guidi	nat library reorganized ....	commit \| commitdiff \| tree \| snapshot
2011-12-12	Andrea Asperti	Generalization to any alphabet. We do not need a finite	commit \| commitdiff \| tree \| snapshot
2011-12-11	Ferruccio Guidi	- slicing relation for the global environment defined...	commit \| commitdiff \| tree \| snapshot
2011-12-09	Andrea Asperti	list.ma moved inside lists.	commit \| commitdiff \| tree \| snapshot
2011-12-09	Andrea Asperti	closing more axioms	commit \| commitdiff \| tree \| snapshot
2011-12-08	Ferruccio Guidi	updating the information on lambda_delta	commit \| commitdiff \| tree \| snapshot
2011-12-08	Ferruccio Guidi	Maietty suggested to change a paragraph on the devel...	commit \| commitdiff \| tree \| snapshot
2011-12-08	Ferruccio Guidi	Maietti suggested to replace a paragraph about the...	commit \| commitdiff \| tree \| snapshot
2011-12-07	Andrea Asperti	Closing some axioms...	commit \| commitdiff \| tree \| snapshot
2011-12-07	Andrea Asperti	\vee notation for boolean or	commit \| commitdiff \| tree \| snapshot
2011-12-06	Ferruccio Guidi	new files started ...	commit \| commitdiff \| tree \| snapshot
2011-12-06	Ferruccio Guidi	other addition to the standard library removed	commit \| commitdiff \| tree \| snapshot
2011-12-06	Ferruccio Guidi	we added a definition and a couple of lemmas	commit \| commitdiff \| tree \| snapshot
2011-12-06	Ferruccio Guidi	- support for atomic arities and candidates of reducibi...	commit \| commitdiff \| tree \| snapshot
2011-12-06	Wilmer Ricciotti	Grammar change: let corecs can take no arguments (and...	commit \| commitdiff \| tree \| snapshot
2011-12-06	Wilmer Ricciotti	Fixes a bug that overwrited the index of the recursive...	commit \| commitdiff \| tree \| snapshot
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
next

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

RSS Atom