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

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

2012-03-15	matitaweb	Manual commit (basics/core_notation.ma)	commit \| commitdiff \| tree
2012-03-13	matitaweb	manual correction to tutorial/chapter2.ma	commit \| commitdiff \| tree
2012-03-12	matitaweb	(no commit message)	commit \| commitdiff \| tree
2012-03-12	matitaweb	Matitaweb:	commit \| commitdiff \| tree
2012-03-09	Claudio Sacerdoti...	Fixes bug where switching to a new tab the slider is...	commit \| commitdiff \| tree
2012-03-08	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2012-03-08	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2012-03-08	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2012-03-08	matitaweb	commit by user utente2	commit \| commitdiff \| tree
2012-03-08	matitaweb	commit by user ricciott	commit \| commitdiff \| tree
2012-03-08	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2012-03-08	matitaweb	Sectionin	commit \| commitdiff \| tree
2012-03-07	matitaweb	commit by user utente2	commit \| commitdiff \| tree
2012-03-07	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2012-03-07	matitaweb	more sections	commit \| commitdiff \| tree
2012-03-07	matitaweb	small changes	commit \| commitdiff \| tree
2012-03-07	matitaweb	Titols	commit \| commitdiff \| tree
2012-03-07	matitaweb	Sections	commit \| commitdiff \| tree
2012-03-07	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2012-03-07	matitaweb	commit by user utente2	commit \| commitdiff \| tree
2012-03-07	matitaweb	section in chapter 2	commit \| commitdiff \| tree
2012-03-07	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2012-03-07	matitaweb	Added sections in chapter 1.	commit \| commitdiff \| tree
2012-03-07	matitaweb	Removed re.ma and re1.ma	commit \| commitdiff \| tree
2012-03-07	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2012-03-07	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2012-03-06	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2012-03-06	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2012-03-06	matitaweb	commit by user utente2	commit \| commitdiff \| tree
2012-03-06	matitaweb	commit by user ricciott	commit \| commitdiff \| tree
2012-03-06	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2012-03-06	Claudio Sacerdoti...	Forward compatibility with new releases of Camlp5.	commit \| commitdiff \| tree
2012-03-06	Claudio Sacerdoti...	Workaround for a BSD bug (submitted by Boender).	commit \| commitdiff \| tree
2012-03-06	Claudio Sacerdoti...	Bug fixed: horizontal scrolling now works correctly...	commit \| commitdiff \| tree
2012-03-06	Claudio Sacerdoti...	MAJOR SPEED UP. The previous implementation of scrolling...	commit \| commitdiff \| tree
2012-03-06	Claudio Sacerdoti...	Minor speed up in the code.	commit \| commitdiff \| tree
2012-03-06	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2012-03-06	matitaweb	Removed gif	commit \| commitdiff \| tree
2012-03-06	matitaweb	chapter 9	commit \| commitdiff \| tree
2012-03-06	matitaweb	Pictures	commit \| commitdiff \| tree
2012-03-06	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2012-03-06	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2012-03-06	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2012-03-06	matitaweb	Small changes	commit \| commitdiff \| tree
2012-03-06	Claudio Sacerdoti...	Major speed-up improvement. Adding one callback per...	commit \| commitdiff \| tree
2012-03-06	matitaweb	chapter 9 and 10	commit \| commitdiff \| tree
2012-03-06	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2012-03-02	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2012-03-02	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2012-03-02	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2012-03-02	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2012-03-02	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2012-03-02	matitaweb	commit by user utente2	commit \| commitdiff \| tree
2012-03-02	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2012-03-02	matitaweb	Splitted chapter 7	commit \| commitdiff \| tree
2012-03-02	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2012-03-01	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2012-03-01	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2012-03-01	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2012-02-29	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2012-02-29	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2012-02-29	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2012-02-29	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2012-02-28	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2012-02-28	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2012-02-28	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2012-02-28	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2012-02-28	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2012-02-28	matitaweb	commit by user utente2	commit \| commitdiff \| tree
2012-02-28	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2012-02-23	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2012-02-22	matitaweb	Integrations	commit \| commitdiff \| tree
2012-02-22	matitaweb	Complete outline. Raw scripts.	commit \| commitdiff \| tree
2012-01-31	Claudio Sacerdoti...	Notation for destructuring let-in for triples fixed.	commit \| commitdiff \| tree
2012-01-27	Claudio Sacerdoti...	Better error messages.	commit \| commitdiff \| tree
2011-12-14	Claudio Sacerdoti...	More stuff from CerCo to the standard library.	commit \| commitdiff \| tree
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
next

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

RSS Atom