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

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

2012-07-27	Wilmer Ricciotti	work in progress	tree \| commitdiff
2012-07-27	Andrea Asperti	work in progress	tree \| commitdiff
2012-07-26	Ferruccio Guidi	- matita: reset_font_size () added after matita.conf...	tree \| commitdiff
2012-07-24	Ferruccio Guidi	one file was missing ...	tree \| commitdiff
2012-07-23	Ferruccio Guidi	- lambda_delta: we updated some notation	tree \| commitdiff
2012-07-22	Ferruccio Guidi	- we polarized binders to control zeta reduction	tree \| commitdiff
2012-07-21	Andrea Asperti	An executable version of the tutorial.	tree \| commitdiff
2012-07-20	Wilmer Ricciotti	progress in termination of marks.ma	tree \| commitdiff
2012-07-19	Andrea Asperti	Few changes	tree \| commitdiff
2012-07-19	Ferruccio Guidi	- intermediate commit to allow debugging of auto tactic...	tree \| commitdiff
2012-07-19	Andrea Asperti	adding tutorial	tree \| commitdiff
2012-07-17	Andrea Asperti	porting to termination	tree \| commitdiff
2012-07-13	Ferruccio Guidi	more symbols added for lambda_delta	tree \| commitdiff
2012-07-13	Ferruccio Guidi	- dynamic type assignment dismissed for now	tree \| commitdiff
2012-06-28	Andrea Asperti	New spec. for advance_both_marks	tree \| commitdiff
2012-06-28	Andrea Asperti	working on termination	tree \| commitdiff
2012-06-27	Andrea Asperti	removed a duplicate	tree \| commitdiff
2012-06-27	Andrea Asperti	Closed all axioms in turing (but not universal).	tree \| commitdiff
2012-06-20	Ferruccio Guidi	- star.ma: constructor inj of star conflicts with previ...	tree \| commitdiff
2012-06-18	Andrea Asperti	adv_to_mark_l	tree \| commitdiff
2012-06-18	Andrea Asperti	closing a few axioms	tree \| commitdiff
2012-06-15	Ferruccio Guidi	- relation between native type and atomic arity proced	tree \| commitdiff
2012-06-15	Andrea Asperti	middot notation	tree \| commitdiff
2012-06-12	Andrea Asperti	adding match_machines and removing trans_to_tuples	tree \| commitdiff
2012-06-12	Andrea Asperti	several changes	tree \| commitdiff
2012-06-08	Andrea Asperti	move_char.ma	tree \| commitdiff
2012-06-08	Andrea Asperti	merging of char_move_c and char_move_l	tree \| commitdiff
2012-06-08	Andrea Asperti	A recompiling version	tree \| commitdiff
2012-06-08	Andrea Asperti	Dropping a coercion and some hints due to conflicts...	tree \| commitdiff
2012-06-08	Andrea Asperti	Modifications and refactoring	tree \| commitdiff
2012-06-08	Claudio Sacerdoti...	Msg reporting via HLogger in the error window made...	tree \| commitdiff
2012-06-07	Claudio Sacerdoti...	New debugging switch in the interface.	tree \| commitdiff
2012-06-06	Wilmer Ricciotti	More conjectures proved.	tree \| commitdiff
2012-06-06	Andrea Asperti	new version of move_char_l suign swap	tree \| commitdiff
2012-06-06	Andrea Asperti	swap machine; move_char revisited	tree \| commitdiff
2012-06-06	Andrea Asperti	restructuring	tree \| commitdiff
2012-06-06	Andrea Asperti	Restructuring	tree \| commitdiff
2012-06-05	Andrea Asperti	Some results on relations. Moved things around.	tree \| commitdiff
2012-06-05	Andrea Asperti	Completed all proofs in if_machine	tree \| commitdiff
2012-06-04	Ferruccio Guidi	- lambda_delta: subject reduction for nativa type assig...	tree \| commitdiff
2012-06-04	Andrea Asperti	semantics of the if-machine.	tree \| commitdiff
2012-06-04	Andrea Asperti	notation	tree \| commitdiff
2012-06-04	Andrea Asperti	comments	tree \| commitdiff
2012-06-02	Ferruccio Guidi	- predefined_virtuals: an addition	tree \| commitdiff
2012-06-01	Wilmer Ricciotti	Finalized copy sub-machine of the universal turing...	tree \| commitdiff
2012-06-01	Andrea Asperti	Ci siamo quasi	tree \| commitdiff
2012-06-01	Ferruccio Guidi	- predefined_virtuals: some additions	tree \| commitdiff
2012-05-31	Wilmer Ricciotti	Progress.	tree \| commitdiff
2012-05-30	Ferruccio Guidi	- nDestructTac: Sys.break handled in two places	tree \| commitdiff
2012-05-30	Wilmer Ricciotti	Progress.	tree \| commitdiff
2012-05-30	Andrea Asperti	some progress	tree \| commitdiff
2012-05-30	Wilmer Ricciotti	Progress.	tree \| commitdiff
2012-05-30	Wilmer Ricciotti	Progress.	tree \| commitdiff
2012-05-29	Andrea Asperti	The universal machine!!!	tree \| commitdiff
2012-05-28	Andrea Asperti	trans_step.ma	tree \| commitdiff
2012-05-28	Andrea Asperti	porting move_tape.ma	tree \| commitdiff
2012-05-28	Andrea Asperti	porting move_char_l.ma	tree \| commitdiff
2012-05-28	Andrea Asperti	porting of move_char_c	tree \| commitdiff
2012-05-28	Andrea Asperti	more typos	tree \| commitdiff
2012-05-28	Andrea Asperti	typos	tree \| commitdiff
2012-05-28	Andrea Asperti	graph of a function	tree \| commitdiff
2012-05-28	Andrea Asperti	FinOpt	tree \| commitdiff
2012-05-28	Andrea Asperti	mem, split	tree \| commitdiff
2012-05-28	Wilmer Ricciotti	Progress.	tree \| commitdiff
2012-05-26	Ferruccio Guidi	tentative specification of Conway's construction for...	tree \| commitdiff
2012-05-25	Ferruccio Guidi	- substitution lemma for native type assignmenr proved!	tree \| commitdiff
2012-05-25	Wilmer Ricciotti	Progress	tree \| commitdiff
2012-05-25	Andrea Asperti	Porting to the new defintion of finset	tree \| commitdiff
2012-05-25	Andrea Asperti	New definition of finset.	tree \| commitdiff
2012-05-25	Andrea Asperti	a bit faster	tree \| commitdiff
2012-05-24	Wilmer Ricciotti	Progress	tree \| commitdiff
2012-05-24	Wilmer Ricciotti	Progress	tree \| commitdiff
2012-05-23	Wilmer Ricciotti	Progress	tree \| commitdiff
2012-05-23	Wilmer Ricciotti	Progress	tree \| commitdiff
2012-05-22	Wilmer Ricciotti	Progress	tree \| commitdiff
2012-05-22	Wilmer Ricciotti	Progress	tree \| commitdiff
2012-05-22	Wilmer Ricciotti	Progress	tree \| commitdiff
2012-05-21	Wilmer Ricciotti	Progress.	tree \| commitdiff
2012-05-21	Wilmer Ricciotti	Added move_tape.ma	tree \| commitdiff
2012-05-21	Wilmer Ricciotti	Progress	tree \| commitdiff
2012-05-21	Andrea Asperti	New version of init copy	tree \| commitdiff
2012-05-18	Wilmer Ricciotti	Progress	tree \| commitdiff
2012-05-18	Wilmer Ricciotti	Progress	tree \| commitdiff
2012-05-18	Andrea Asperti	init_copy init_match	tree \| commitdiff
2012-05-18	Wilmer Ricciotti	Progress in semantics of the copy machine.	tree \| commitdiff
2012-05-17	Andrea Asperti	init_match	tree \| commitdiff
2012-05-17	Wilmer Ricciotti	Progress	tree \| commitdiff
2012-05-17	Wilmer Ricciotti	Progress	tree \| commitdiff
2012-05-17	Wilmer Ricciotti	Added step machine for universal machine.	tree \| commitdiff
2012-05-17	Wilmer Ricciotti	move tape right	tree \| commitdiff
2012-05-17	Andrea Asperti	filtering on a list without repetitions	tree \| commitdiff
2012-05-17	Wilmer Ricciotti	Added null character.	tree \| commitdiff
2012-05-16	Claudio Sacerdoti...	Removed duplicated notation and interaction with the...	tree \| commitdiff
2012-05-16	Ferruccio Guidi	- a caracterization of the top elements of the local...	tree \| commitdiff
2012-05-16	Claudio Sacerdoti...	Added alias instance=1 to avoid interaction with the...	tree \| commitdiff
2012-05-16	Andrea Asperti	a bit more	tree \| commitdiff
2012-05-15	Claudio Sacerdoti...	Patch by Ferruccio that enables \top/\bot for False...	tree \| commitdiff
2012-05-15	Wilmer Ricciotti	Progress	tree \| commitdiff
2012-05-15	Ferruccio Guidi	we added the standard notation for True and False ...	tree \| commitdiff
2012-05-15	Andrea Asperti	sempre li	tree \| commitdiff
next

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

RSS Atom