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

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

2012-03-15	Ferruccio Guidi	some renaming (ld_ prefix removed from file names)	commit \| commitdiff \| tree \| snapshot
2012-03-15	Ferruccio Guidi	some renaming: ld_ prefix removed	commit \| commitdiff \| tree \| snapshot
2012-03-15	Ferruccio Guidi	milestone update in basic_2!	commit \| commitdiff \| tree \| snapshot
2012-03-15	Ferruccio Guidi	- lambda_delta: strong normalization of simply typed...	commit \| commitdiff \| tree \| snapshot
2012-03-15	matitaweb	Manual commit (basics/core_notation.ma)	commit \| commitdiff \| tree \| snapshot
2012-03-14	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree \| snapshot
2012-03-14	Ferruccio Guidi	property S2 of strongly normalizing terms proved!	commit \| commitdiff \| tree \| snapshot
2012-03-14	Ferruccio Guidi	- property S4 of strongly normalizing term proved!	commit \| commitdiff \| tree \| snapshot
2012-03-13	matitaweb	manual correction to tutorial/chapter2.ma	commit \| commitdiff \| tree \| snapshot
2012-03-12	Ferruccio Guidi	- Properties S3 and S5 of context-sensitive strongly...	commit \| commitdiff \| tree \| snapshot
2012-03-12	matitaweb	(no commit message)	commit \| commitdiff \| tree \| snapshot
2012-03-12	matitaweb	Matitaweb:	commit \| commitdiff \| tree \| snapshot
2012-03-11	Ferruccio Guidi	- context-sensitive computation: more properties	commit \| commitdiff \| tree \| snapshot
2012-03-10	Ferruccio Guidi	generated web pages update	commit \| commitdiff \| tree \| snapshot
2012-03-10	Ferruccio Guidi	- renaming completed!	commit \| commitdiff \| tree \| snapshot
2012-03-10	Ferruccio Guidi	We are decapitalizing the contributions' names ...	commit \| commitdiff \| tree \| snapshot
2012-03-09	Ferruccio Guidi	- update in Basic_2	commit \| commitdiff \| tree \| snapshot
2012-03-09	Ferruccio Guidi	- lambda_delta: morew propertie in context-sensitive...	commit \| commitdiff \| tree \| snapshot
2012-03-09	Claudio Sacerdoti...	Fixes bug where switching to a new tab the slider is...	commit \| commitdiff \| tree \| snapshot
2012-03-08	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-08	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-08	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-08	matitaweb	commit by user utente2	commit \| commitdiff \| tree \| snapshot
2012-03-08	matitaweb	commit by user ricciott	commit \| commitdiff \| tree \| snapshot
2012-03-08	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-08	Andrea Asperti	Axiom proved	commit \| commitdiff \| tree \| snapshot
2012-03-08	matitaweb	Sectionin	commit \| commitdiff \| tree \| snapshot
2012-03-07	matitaweb	commit by user utente2	commit \| commitdiff \| tree \| snapshot
2012-03-07	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-07	matitaweb	more sections	commit \| commitdiff \| tree \| snapshot
2012-03-07	matitaweb	small changes	commit \| commitdiff \| tree \| snapshot
2012-03-07	matitaweb	Titols	commit \| commitdiff \| tree \| snapshot
2012-03-07	matitaweb	Sections	commit \| commitdiff \| tree \| snapshot
2012-03-07	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-07	matitaweb	commit by user utente2	commit \| commitdiff \| tree \| snapshot
2012-03-07	matitaweb	section in chapter 2	commit \| commitdiff \| tree \| snapshot
2012-03-07	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-07	matitaweb	Added sections in chapter 1.	commit \| commitdiff \| tree \| snapshot
2012-03-07	matitaweb	Removed re.ma and re1.ma	commit \| commitdiff \| tree \| snapshot
2012-03-07	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-07	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-06	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-06	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-06	matitaweb	commit by user utente2	commit \| commitdiff \| tree \| snapshot
2012-03-06	matitaweb	commit by user ricciott	commit \| commitdiff \| tree \| snapshot
2012-03-06	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-06	Claudio Sacerdoti...	Forward compatibility with new releases of Camlp5.	commit \| commitdiff \| tree \| snapshot
2012-03-06	Claudio Sacerdoti...	Workaround for a BSD bug (submitted by Boender).	commit \| commitdiff \| tree \| snapshot
2012-03-06	Claudio Sacerdoti...	Bug fixed: horizontal scrolling now works correctly...	commit \| commitdiff \| tree \| snapshot
2012-03-06	Claudio Sacerdoti...	MAJOR SPEED UP. The previous implementation of scrollin...	commit \| commitdiff \| tree \| snapshot
2012-03-06	Claudio Sacerdoti...	Minor speed up in the code.	commit \| commitdiff \| tree \| snapshot
2012-03-06	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-06	matitaweb	Removed gif	commit \| commitdiff \| tree \| snapshot
2012-03-06	matitaweb	chapter 9	commit \| commitdiff \| tree \| snapshot
2012-03-06	matitaweb	Pictures	commit \| commitdiff \| tree \| snapshot
2012-03-06	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-06	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-06	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-06	matitaweb	Small changes	commit \| commitdiff \| tree \| snapshot
2012-03-06	Claudio Sacerdoti...	Major speed-up improvement. Adding one callback per...	commit \| commitdiff \| tree \| snapshot
2012-03-06	matitaweb	chapter 9 and 10	commit \| commitdiff \| tree \| snapshot
2012-03-06	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-04	Ferruccio Guidi	- lambda_delta: "conversion" and "equivalence" componen...	commit \| commitdiff \| tree \| snapshot
2012-03-02	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-02	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-02	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-02	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-02	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-02	matitaweb	commit by user utente2	commit \| commitdiff \| tree \| snapshot
2012-03-02	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-02	matitaweb	Splitted chapter 7	commit \| commitdiff \| tree \| snapshot
2012-03-02	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-01	Ferruccio Guidi	missing files in the former commit :(	commit \| commitdiff \| tree \| snapshot
2012-03-01	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-01	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-01	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-02-29	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-02-29	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-02-29	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-02-29	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-02-28	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-02-28	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-02-28	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-02-28	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-02-28	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-02-28	matitaweb	commit by user utente2	commit \| commitdiff \| tree \| snapshot
2012-02-28	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-02-27	Ferruccio Guidi	some additions to Basic_2	commit \| commitdiff \| tree \| snapshot
2012-02-27	Ferruccio Guidi	- property S6 of stronfly normalizing terms proved	commit \| commitdiff \| tree \| snapshot
2012-02-24	Ferruccio Guidi	site update	commit \| commitdiff \| tree \| snapshot
2012-02-24	Ferruccio Guidi	- we added a web page (Apps_2) for the checked applicat...	commit \| commitdiff \| tree \| snapshot
2012-02-24	Ferruccio Guidi	- "functional" component moved to Apps_2	commit \| commitdiff \| tree \| snapshot
2012-02-23	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-02-23	Wilmer Ricciotti	refiner porting from matita 1.	commit \| commitdiff \| tree \| snapshot
2012-02-22	matitaweb	Integrations	commit \| commitdiff \| tree \| snapshot
2012-02-22	matitaweb	Complete outline. Raw scripts.	commit \| commitdiff \| tree \| snapshot
2012-02-21	Ferruccio Guidi	- more properties on strongly normalizing terms ...	commit \| commitdiff \| tree \| snapshot
2012-02-21	Ferruccio Guidi	- site update	commit \| commitdiff \| tree \| snapshot
2012-02-20	Ferruccio Guidi	additions to Basic_2 ...	commit \| commitdiff \| tree \| snapshot
2012-02-20	Ferruccio Guidi	initial properies of the "same top term constructor...	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom