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

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

2011-12-14	Claudio Sacerdoti...	Some more lemmas from CerCo.	commit \| commitdiff \| tree
2011-12-14	Claudio Sacerdoti...	1) Notation for dependent pairs differentiated from...	commit \| commitdiff \| tree
2011-12-13	Claudio Sacerdoti...	Dependent pairs (i.e. Sigma types in Type[0]) are back...	commit \| commitdiff \| tree
2011-12-13	Claudio Sacerdoti...	1) PSig and Sig merged into a single Sigma type in...	commit \| commitdiff \| tree
2011-12-13	Claudio Sacerdoti...	inject/eject replaced by mk_Sig/pi1.	commit \| commitdiff \| tree
2011-12-13	Claudio Sacerdoti...	1) New file russell with the coercions to activate...	commit \| commitdiff \| tree
2011-12-13	matitaweb	Chapter 5 = re.ma ; chapter 6 = moves.ma	commit \| commitdiff \| tree
2011-12-13	matitaweb	New chapter 4	commit \| commitdiff \| tree
2011-12-13	Claudio Sacerdoti...	More stuff integrated from CerCo on sigma types (that...	commit \| commitdiff \| tree
2011-12-12	Claudio Sacerdoti...	pair => mk_Prod (one more was left in notation)	commit \| commitdiff \| tree
2011-12-12	Claudio Sacerdoti...	precedence level of if-then-else fixed	commit \| commitdiff \| tree
2011-12-12	Claudio Sacerdoti...	Added elimination principles for destructuring let...	commit \| commitdiff \| tree
2011-12-12	Claudio Sacerdoti...	Some integrations from CerCo. In particular:	commit \| commitdiff \| tree
2011-12-12	Claudio Sacerdoti...	Pairs are now records.	commit \| commitdiff \| tree
2011-12-12	Claudio Sacerdoti...	Parentheses are now needed. I do not know why and when...	commit \| commitdiff \| tree
2011-12-12	Claudio Sacerdoti...	Re-Ported to	commit \| commitdiff \| tree
2011-12-12	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-12-12	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-12-12	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-12-12	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-11-22	Claudio Sacerdoti...	Changes to disambiguation:	commit \| commitdiff \| tree
2011-11-21	Claudio Sacerdoti...	Syntax change: change where what => change what where.	commit \| commitdiff \| tree
2011-11-21	Claudio Sacerdoti...	{pattern} => in pattern;	commit \| commitdiff \| tree
2011-11-21	Claudio Sacerdoti...	{pattern} => in pattern;	commit \| commitdiff \| tree
2011-11-18	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2011-11-18	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2011-11-18	Claudio Sacerdoti...	Auto parameters documented for 0.99.1.	commit \| commitdiff \| tree
2011-11-18	Claudio Sacerdoti...	No longer used parameters of auto removed.	commit \| commitdiff \| tree
2011-11-18	Claudio Sacerdoti...	The macro /by _/ now expands again to something parsable.	commit \| commitdiff \| tree
2011-11-18	Claudio Sacerdoti...	/by {}/ ==> /by/	commit \| commitdiff \| tree
2011-11-18	Claudio Sacerdoti...	For release 0.99.1.	commit \| commitdiff \| tree
2011-11-18	Claudio Sacerdoti...	* Almost ready for release 0.99.1.	commit \| commitdiff \| tree
2011-11-18	Claudio Sacerdoti...	intros macro fixed	commit \| commitdiff \| tree
2011-11-17	Claudio Sacerdoti...	Towards 0.95.1.	commit \| commitdiff \| tree
2011-11-17	Claudio Sacerdoti...	Towards the 0.95.1 release.	commit \| commitdiff \| tree
2011-11-17	Claudio Sacerdoti...	In preparation of 0.95.1 release.	commit \| commitdiff \| tree
2011-11-16	Claudio Sacerdoti...	Non working parts of the library commented out.	commit \| commitdiff \| tree
2011-11-16	Claudio Sacerdoti...	Never ported to new syntax.	commit \| commitdiff \| tree
2011-11-16	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-11-16	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-11-16	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-11-16	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-11-15	matitaweb	Fixes a bug in NnAuto: printing the statistics triggered...	commit \| commitdiff \| tree
2011-11-15	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-11-15	matitaweb	Matitaweb: Fixed typo which caused the compilation...	commit \| commitdiff \| tree
2011-11-11	matitaweb	commit by user utente1	commit \| commitdiff \| tree
2011-11-11	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-11-09	matitaweb	Matitaweb: fixes compilation errors and minor graphical...	commit \| commitdiff \| tree
2011-11-09	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-11-09	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-11-09	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-11-08	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-11-07	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-11-07	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-11-07	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-11-05	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-11-02	Claudio Sacerdoti...	trans_eq and sym_eq indexing restored. Apparently they...	commit \| commitdiff \| tree
2011-10-28	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-19	matitaweb	Matitaweb: added a function MatitaAuthentication.get_users...	commit \| commitdiff \| tree
2011-10-19	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-19	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-19	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-18	matitaweb	Localization of errors.	commit \| commitdiff \| tree
2011-10-17	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-17	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-17	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-17	matitaweb	commit by user lroversi	commit \| commitdiff \| tree
2011-10-14	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-14	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-14	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-14	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-14	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-14	matitaweb	Made a copy of basics/list.ma as a base for chapter 3.	commit \| commitdiff \| tree
2011-10-14	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-13	matitaweb	commit by user enrico	commit \| commitdiff \| tree
2011-10-13	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-13	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-13	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-13	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-12	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-12	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-12	matitaweb	commit by user lroversi	commit \| commitdiff \| tree
2011-10-12	matitaweb	Administrative commit restoring the repository to the...	commit \| commitdiff \| tree
2011-10-12	matitaweb	commit by user ricciott	commit \| commitdiff \| tree
2011-10-12	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-12	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-12	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-11	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-11	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-11	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-11	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-11	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-11	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-11	matitaweb	Chapter 2	commit \| commitdiff \| tree
2011-10-11	matitaweb	commit by user utente1	commit \| commitdiff \| tree
2011-10-11	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-11	Claudio Sacerdoti...	WARNING: major experimental change.	commit \| commitdiff \| tree
2011-10-11	Claudio Sacerdoti...	New version (by Wilmer). The main difference w.r.t...	commit \| commitdiff \| tree
2011-10-10	Claudio Sacerdoti...	1. nInversion/nDestruct ported to work with jmeq properly	commit \| commitdiff \| tree
2011-10-10	Claudio Sacerdoti...	Debugging code commented out.	commit \| commitdiff \| tree
next

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

RSS Atom