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

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

2013-01-18	Andrea Asperti	high level semantics	commit \| commitdiff \| tree \| snapshot
2013-01-18	Andrea Asperti	semantics of uni_step	commit \| commitdiff \| tree \| snapshot
2013-01-17	Wilmer Ricciotti	progress	commit \| commitdiff \| tree \| snapshot
2013-01-17	Wilmer Ricciotti	progress	commit \| commitdiff \| tree \| snapshot
2013-01-17	Wilmer Ricciotti	progress	commit \| commitdiff \| tree \| snapshot
2013-01-17	Wilmer Ricciotti	progress	commit \| commitdiff \| tree \| snapshot
2013-01-17	Wilmer Ricciotti	progress	commit \| commitdiff \| tree \| snapshot
2013-01-17	Andrea Asperti	Moved a list comparison function in the list file	commit \| commitdiff \| tree \| snapshot
2013-01-17	Andrea Asperti	normal and tuples	commit \| commitdiff \| tree \| snapshot
2013-01-16	Ferruccio Guidi	- paths and left residuals: first case of the equivalen...	commit \| commitdiff \| tree \| snapshot
2013-01-16	Wilmer Ricciotti	added null character to the alphabet	commit \| commitdiff \| tree \| snapshot
2013-01-16	Wilmer Ricciotti	progress	commit \| commitdiff \| tree \| snapshot
2013-01-15	Ferruccio Guidi	- some additions and renaming ...	commit \| commitdiff \| tree \| snapshot
2013-01-15	Wilmer Ricciotti	progress in unistep_aux	commit \| commitdiff \| tree \| snapshot
2013-01-15	Wilmer Ricciotti	unistep_aux	commit \| commitdiff \| tree \| snapshot
2013-01-15	Wilmer Ricciotti	more unistep	commit \| commitdiff \| tree \| snapshot
2013-01-15	Wilmer Ricciotti	unistep_aux	commit \| commitdiff \| tree \| snapshot
2013-01-15	Andrea Asperti	copy finished	commit \| commitdiff \| tree \| snapshot
2013-01-15	Ferruccio Guidi	- a few more lemmas ...	commit \| commitdiff \| tree \| snapshot
2013-01-15	Andrea Asperti	copy.ma	commit \| commitdiff \| tree \| snapshot
2013-01-14	Wilmer Ricciotti	match.ma completed	commit \| commitdiff \| tree \| snapshot
2013-01-14	Wilmer Ricciotti	match termination completed, still a small case ignored...	commit \| commitdiff \| tree \| snapshot
2013-01-14	Wilmer Ricciotti	wsem_match finished	commit \| commitdiff \| tree \| snapshot
2013-01-14	Wilmer Ricciotti	advancement in match	commit \| commitdiff \| tree \| snapshot
2013-01-14	Andrea Asperti	Closed some daemons	commit \| commitdiff \| tree \| snapshot
2013-01-14	Andrea Asperti	nth_current_chars	commit \| commitdiff \| tree \| snapshot
2013-01-13	Ferruccio Guidi	standardization: equivalence between paths and left...	commit \| commitdiff \| tree \| snapshot
2013-01-11	Wilmer Ricciotti	match almost finished	commit \| commitdiff \| tree \| snapshot
2013-01-08	Andrea Asperti	more porting to machines that can move without writing	commit \| commitdiff \| tree \| snapshot
2013-01-08	Wilmer Ricciotti	parmove based on end of the tape	commit \| commitdiff \| tree \| snapshot
2013-01-08	Wilmer Ricciotti	porting to machine that can move without writing	commit \| commitdiff \| tree \| snapshot
2013-01-06	Ferruccio Guidi	dependences update	commit \| commitdiff \| tree \| snapshot
2013-01-06	Ferruccio Guidi	refactoring ...	commit \| commitdiff \| tree \| snapshot
2013-01-05	Andrea Asperti	Ported permutation.ma and fermat_little_theorem.ma	commit \| commitdiff \| tree \| snapshot
2013-01-03	Andrea Asperti	refactoring	commit \| commitdiff \| tree \| snapshot
2013-01-03	Andrea Asperti	Refactoring	commit \| commitdiff \| tree \| snapshot
2013-01-03	Andrea Asperti	Chebishev ported	commit \| commitdiff \| tree \| snapshot
2013-01-02	Ferruccio Guidi	lambda: some refactoring + support for subsets of subte...	commit \| commitdiff \| tree \| snapshot
2013-01-01	Ferruccio Guidi	- probe: new application to compute some data on the...	commit \| commitdiff \| tree \| snapshot
2012-12-30	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree \| snapshot
2012-12-30	Ferruccio Guidi	commit completed! some bugs fixed and some instances...	commit \| commitdiff \| tree \| snapshot
2012-12-28	Ferruccio Guidi	xoa: change in naming convenctions for existential...	commit \| commitdiff \| tree \| snapshot
2012-12-25	Ferruccio Guidi	- lambda_delta: programmed renaming to lambdadelta	commit \| commitdiff \| tree \| snapshot
2012-12-23	Ferruccio Guidi	- we introduced the pointer_step rc in the perspective...	commit \| commitdiff \| tree \| snapshot
2012-12-21	Ferruccio Guidi	some renaming ...	commit \| commitdiff \| tree \| snapshot
2012-12-21	Ferruccio Guidi	one file was missing .... :(	commit \| commitdiff \| tree \| snapshot
2012-12-21	Andrea Asperti	Many changes	commit \| commitdiff \| tree \| snapshot
2012-12-21	Andrea Asperti	mem/append lemmas	commit \| commitdiff \| tree \| snapshot
2012-12-21	Andrea Asperti	bertrand OK.	commit \| commitdiff \| tree \| snapshot
2012-12-20	Ferruccio Guidi	- nat.ma: cut removed from f_ind :)	commit \| commitdiff \| tree \| snapshot
2012-12-19	Ferruccio Guidi	reordering and corrections	commit \| commitdiff \| tree \| snapshot
2012-12-19	Andrea Asperti	bertrand!	commit \| commitdiff \| tree \| snapshot
2012-12-19	Ferruccio Guidi	we simplified our proof of standardization	commit \| commitdiff \| tree \| snapshot
2012-12-19	Andrea Asperti	sqrt.ma	commit \| commitdiff \| tree \| snapshot
2012-12-18	Ferruccio Guidi	- star.ma: strip lemma and confluence of star	commit \| commitdiff \| tree \| snapshot
2012-12-18	Andrea Asperti	addenda	commit \| commitdiff \| tree \| snapshot
2012-12-18	Andrea Asperti	changes	commit \| commitdiff \| tree \| snapshot
2012-12-18	Andrea Asperti	chebyshev_teta	commit \| commitdiff \| tree \| snapshot
2012-12-17	Ferruccio Guidi	- lambda: some parts commented out, some refactoring	commit \| commitdiff \| tree \| snapshot
2012-12-17	Andrea Asperti	This line, and those below, will be ignored--	commit \| commitdiff \| tree \| snapshot
2012-12-17	Andrea Asperti	splitted chebyshev in two parts	commit \| commitdiff \| tree \| snapshot
2012-12-17	Andrea Asperti	restructuring	commit \| commitdiff \| tree \| snapshot
2012-12-17	Andrea Asperti	backup copy rm	commit \| commitdiff \| tree \| snapshot
2012-12-17	Andrea Asperti	Still porting chebyshev	commit \| commitdiff \| tree \| snapshot
2012-12-13	Ferruccio Guidi	- we added delimiters to the URL in lambdadelta1	commit \| commitdiff \| tree \| snapshot
2012-12-12	Ferruccio Guidi	- bib refactoring	commit \| commitdiff \| tree \| snapshot
2012-12-12	Ferruccio Guidi	lambdadelta1 is now dated with release date of \lambda...	commit \| commitdiff \| tree \| snapshot
2012-12-11	Ferruccio Guidi	- pointer structure simplified	commit \| commitdiff \| tree \| snapshot
2012-12-10	Ferruccio Guidi	- lambda: - normalization theorem completed!	commit \| commitdiff \| tree \| snapshot
2012-12-10	Andrea Asperti	Porting chebyshev	commit \| commitdiff \| tree \| snapshot
2012-12-10	Andrea Asperti	Porting chebyshev	commit \| commitdiff \| tree \| snapshot
2012-12-09	Ferruccio Guidi	- lambda: first half of the standardization theorem...	commit \| commitdiff \| tree \| snapshot
2012-12-08	Ferruccio Guidi	- list.ma: improved notation for constant lists (a...	commit \| commitdiff \| tree \| snapshot
2012-12-08	Ferruccio Guidi	- new pointes can point to any subterm	commit \| commitdiff \| tree \| snapshot
2012-12-07	Ferruccio Guidi	lstar removed from list.ma and placed in its own file	commit \| commitdiff \| tree \| snapshot
2012-12-07	Ferruccio Guidi	- "re": a part of reb.ma commented out since it cannot...	commit \| commitdiff \| tree \| snapshot
2012-12-07	Ferruccio Guidi	- pts_dummy/pts_dummy_new: non compiling parts commente...	commit \| commitdiff \| tree \| snapshot
2012-12-07	Ferruccio Guidi	- untranslated sections of "formal_topology" commented...	commit \| commitdiff \| tree \| snapshot
2012-12-07	Wilmer Ricciotti	match termination	commit \| commitdiff \| tree \| snapshot
2012-12-06	Ferruccio Guidi	- we enabled a notation for ex2	commit \| commitdiff \| tree \| snapshot
2012-12-06	Wilmer Ricciotti	Cleared unused variables in wsem_match (they were also...	commit \| commitdiff \| tree \| snapshot
2012-12-06	Claudio Sacerdoti...	Bug fixed: %n was badly failing (with Failure "nth...	commit \| commitdiff \| tree \| snapshot
2012-12-06	Wilmer Ricciotti	Fixes a bug in NCicElim.pp (term -> ast conversion...	commit \| commitdiff \| tree \| snapshot
2012-12-05	Wilmer Ricciotti	Concludes match (weak) semantics. Yay!	commit \| commitdiff \| tree \| snapshot
2012-12-04	Ferruccio Guidi	we started Kashima's proof of standardization	commit \| commitdiff \| tree \| snapshot
2012-12-04	Wilmer Ricciotti	match nearing completion	commit \| commitdiff \| tree \| snapshot
2012-12-04	Wilmer Ricciotti	match wsem almost done	commit \| commitdiff \| tree \| snapshot
2012-12-03	Ferruccio Guidi	- nat.ma: we added a general induction principle	commit \| commitdiff \| tree \| snapshot
2012-12-02	Ferruccio Guidi	- bugfix in stylesheets	commit \| commitdiff \| tree \| snapshot
2012-12-02	Ferruccio Guidi	bugfix in uri's: missing "/" added to baseuri's where...	commit \| commitdiff \| tree \| snapshot
2012-12-02	Ferruccio Guidi	- dehypenation involves helena as well	commit \| commitdiff \| tree \| snapshot
2012-12-02	Ferruccio Guidi	the dehyphenation update continues ...	commit \| commitdiff \| tree \| snapshot
2012-12-02	Ferruccio Guidi	some corrections to the prose of the web site	commit \| commitdiff \| tree \| snapshot
2012-12-01	Ferruccio Guidi	web site update	commit \| commitdiff \| tree \| snapshot
2012-12-01	Ferruccio Guidi	old lambdadelta home page is dismissed	commit \| commitdiff \| tree \| snapshot
2012-12-01	Ferruccio Guidi	nug fix in the location of images	commit \| commitdiff \| tree \| snapshot
2012-12-01	Ferruccio Guidi	- lambda: parallel reduction to obtain diamond property	commit \| commitdiff \| tree \| snapshot
2012-12-01	Ferruccio Guidi	planned dehyphenation of lambdadelta eventually took...	commit \| commitdiff \| tree \| snapshot
2012-11-29	Ferruccio Guidi	- bug fix in notation precedences	commit \| commitdiff \| tree \| snapshot
2012-11-29	Ferruccio Guidi	- labelled sequential reduction started ...	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom