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

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

2012-05-03	Andrea Asperti	bool and segments of natural numbers	commit \| commitdiff \| tree \| snapshot
2012-05-02	Wilmer Ricciotti	While semantics.	commit \| commitdiff \| tree \| snapshot
2012-05-02	Andrea Asperti	split e merge	commit \| commitdiff \| tree \| snapshot
2012-05-02	Andrea Asperti	progress	commit \| commitdiff \| tree \| snapshot
2012-05-02	Andrea Asperti	while machine	commit \| commitdiff \| tree \| snapshot
2012-05-02	Wilmer Ricciotti	Added weak realizability.	commit \| commitdiff \| tree \| snapshot
2012-05-02	Andrea Asperti	Added wmono.	commit \| commitdiff \| tree \| snapshot
2012-04-30	Wilmer Ricciotti	More proofs in if-then-else machine.	commit \| commitdiff \| tree \| snapshot
2012-04-30	Andrea Asperti	Le configurazioni sono definite non su macchine ma...	commit \| commitdiff \| tree \| snapshot
2012-04-30	Andrea Asperti	Definition of accRealize	commit \| commitdiff \| tree \| snapshot
2012-04-30	Andrea Asperti	If machine	commit \| commitdiff \| tree \| snapshot
2012-04-30	Wilmer Ricciotti	Monotape turing machines update.	commit \| commitdiff \| tree \| snapshot
2012-04-27	Wilmer Ricciotti	more loop proofs	commit \| commitdiff \| tree \| snapshot
2012-04-27	Wilmer Ricciotti	loop functions	commit \| commitdiff \| tree \| snapshot
2012-04-27	Andrea Asperti	loop functions	commit \| commitdiff \| tree \| snapshot
2012-04-27	Andrea Asperti	Mono tape turing machines	commit \| commitdiff \| tree \| snapshot
2012-04-27	Andrea Asperti	Extensions to finset (sum) and auxiliary lemmas.	commit \| commitdiff \| tree \| snapshot
2012-04-26	Ferruccio Guidi	- notation (possibly affecting all .ma files):	commit \| commitdiff \| tree \| snapshot
2012-04-25	Ferruccio Guidi	additions in basic_2	commit \| commitdiff \| tree \| snapshot
2012-04-25	Ferruccio Guidi	- lambda_delta: bug fix in static type assignment	commit \| commitdiff \| tree \| snapshot
2012-04-24	Wilmer Ricciotti	Update to universal turing machine (preliminaries).	commit \| commitdiff \| tree \| snapshot
2012-04-24	Wilmer Ricciotti	More turing machines (still not compiling)	commit \| commitdiff \| tree \| snapshot
2012-04-24	Wilmer Ricciotti	Started converting informal definition of the machines...	commit \| commitdiff \| tree \| snapshot
2012-04-23	Wilmer Ricciotti	Added universal turing machines (only comments for...	commit \| commitdiff \| tree \| snapshot
2012-04-21	Ferruccio Guidi	additions to basic_2	commit \| commitdiff \| tree \| snapshot
2012-04-21	Ferruccio Guidi	- lambda_delta: static type assignment is defined	commit \| commitdiff \| tree \| snapshot
2012-04-19	Ferruccio Guidi	- update in basic_2	commit \| commitdiff \| tree \| snapshot
2012-04-19	Ferruccio Guidi	- firs theorems on native type assignment	commit \| commitdiff \| tree \| snapshot
2012-04-17	Claudio Sacerdoti...	Fixed w.r.t. new yelp.	commit \| commitdiff \| tree \| snapshot
2012-04-16	Ferruccio Guidi	- milestone update in basic_2	commit \| commitdiff \| tree \| snapshot
2012-04-16	Ferruccio Guidi	- subject equivalence for atomic arity assignment compl...	commit \| commitdiff \| tree \| snapshot
2012-04-13	Andrea Asperti	Definition of complexity	commit \| commitdiff \| tree \| snapshot
2012-04-10	matitaweb	commit by user ricciott	commit \| commitdiff \| tree \| snapshot
2012-04-10	matitaweb	commit by user	commit \| commitdiff \| tree \| snapshot
2012-04-10	Ferruccio Guidi	urgent partial commit ... to be fixed later ...	commit \| commitdiff \| tree \| snapshot
2012-04-10	Ferruccio Guidi	urgent partial commit ... to be fixed later ...	commit \| commitdiff \| tree \| snapshot
2012-04-04	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree \| snapshot
2012-04-04	Ferruccio Guidi	- some work on context equivalence of atomic arity...	commit \| commitdiff \| tree \| snapshot
2012-04-04	Andrea Asperti	Added in basics	commit \| commitdiff \| tree \| snapshot
2012-04-03	Andrea Asperti	Minor changes	commit \| commitdiff \| tree \| snapshot
2012-04-03	Wilmer Ricciotti	More changes to the website (matitaweb).	commit \| commitdiff \| tree \| snapshot
2012-04-03	Wilmer Ricciotti	Various updates to the (obsolete) website.	commit \| commitdiff \| tree \| snapshot
2012-04-03	Andrea Asperti	modifiche	commit \| commitdiff \| tree \| snapshot
2012-04-03	Andrea Asperti	Versione italiana	commit \| commitdiff \| tree \| snapshot
2012-04-03	Andrea Asperti	New home	commit \| commitdiff \| tree \| snapshot
2012-04-03	Andrea Asperti	Top picture	commit \| commitdiff \| tree \| snapshot
2012-04-03	Andrea Asperti	prova	commit \| commitdiff \| tree \| snapshot
2012-04-03	Andrea Asperti	Created a new directory for Matita1.0	commit \| commitdiff \| tree \| snapshot
2012-03-30	Ferruccio Guidi	additions to basic_2	commit \| commitdiff \| tree \| snapshot
2012-03-30	Ferruccio Guidi	- more on subject reduction of atomic arity assignment	commit \| commitdiff \| tree \| snapshot
2012-03-28	matitaweb	manual commit	commit \| commitdiff \| tree \| snapshot
2012-03-27	Wilmer Ricciotti	Matitaweb:	commit \| commitdiff \| tree \| snapshot
2012-03-23	Ferruccio Guidi	additions in basic_2	commit \| commitdiff \| tree \| snapshot
2012-03-23	Ferruccio Guidi	- pts: we restored the former hierarchy	commit \| commitdiff \| tree \| snapshot
2012-03-23	Wilmer Ricciotti	Matitaweb: Fixes a bug in the extensible parser which...	commit \| commitdiff \| tree \| snapshot
2012-03-23	Wilmer Ricciotti	Matitaweb: Fixes a bug which prevented Mozilla from...	commit \| commitdiff \| tree \| snapshot
2012-03-23	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-23	matitaweb	commit by user utente2	commit \| commitdiff \| tree \| snapshot
2012-03-23	matitaweb	commit by user	commit \| commitdiff \| tree \| snapshot
2012-03-23	matitaweb	commit by user ricciott	commit \| commitdiff \| tree \| snapshot
2012-03-23	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-20	matitaweb	Matitaweb:	commit \| commitdiff \| tree \| snapshot
2012-03-19	Ferruccio Guidi	additions to basic_2	commit \| commitdiff \| tree \| snapshot
2012-03-19	Ferruccio Guidi	- basics: bug fix in Conf3, it was not generic enough	commit \| commitdiff \| tree \| snapshot
2012-03-17	Ferruccio Guidi	update in basic_2 and apps_2	commit \| commitdiff \| tree \| snapshot
2012-03-17	Ferruccio Guidi	- basics: some support for abstract triangular confluen...	commit \| commitdiff \| tree \| snapshot
2012-03-15	Ferruccio Guidi	renaming completed	commit \| commitdiff \| tree \| snapshot
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
next

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

RSS Atom