matita.cs.unibo.it Git - helm.git/history - matita/matita/lib/turing/multi

]> matita.cs.unibo.it Git - helm.git/history - matita/matita/lib/turing/multi_universal/match.ma

[helm.git] / matita / matita / lib / turing / multi_universal / match.ma

2013-01-25	Wilmer Ricciotti	progress in termination	blob \| commitdiff \| raw
2013-01-24	Wilmer Ricciotti	finished semantics for termination of match machine	blob \| commitdiff \| raw \| diff to current
2013-01-24	Wilmer Ricciotti	progress	blob \| commitdiff \| raw \| diff to current
2013-01-24	Wilmer Ricciotti	progress	blob \| commitdiff \| raw \| diff to current
2013-01-23	Wilmer Ricciotti	progress	blob \| commitdiff \| raw \| diff to current
2013-01-14	Wilmer Ricciotti	match.ma completed	blob \| commitdiff \| raw \| diff to current
2013-01-14	Wilmer Ricciotti	match termination completed, still a small case ignored...	blob \| commitdiff \| raw \| diff to current
2013-01-14	Wilmer Ricciotti	wsem_match finished	blob \| commitdiff \| raw \| diff to current
2013-01-14	Wilmer Ricciotti	advancement in match	blob \| commitdiff \| raw \| diff to current
2013-01-14	Andrea Asperti	Closed some daemons	blob \| commitdiff \| raw \| diff to current
2013-01-11	Wilmer Ricciotti	match almost finished	blob \| commitdiff \| raw \| diff to current
2013-01-08	Andrea Asperti	more porting to machines that can move without writing	blob \| commitdiff \| raw \| diff to current
2013-01-08	Wilmer Ricciotti	porting to machine that can move without writing	blob \| commitdiff \| raw \| diff to current
2012-12-07	Wilmer Ricciotti	match termination	blob \| commitdiff \| raw \| diff to current
2012-12-06	Ferruccio Guidi	- we enabled a notation for ex2	blob \| commitdiff \| raw \| diff to current
2012-12-06	Wilmer Ricciotti	Cleared unused variables in wsem_match (they were also...	blob \| commitdiff \| raw \| diff to current
2012-12-05	Wilmer Ricciotti	Concludes match (weak) semantics. Yay!	blob \| commitdiff \| raw \| diff to current
2012-12-04	Wilmer Ricciotti	match nearing completion	blob \| commitdiff \| raw \| diff to current
2012-12-04	Wilmer Ricciotti	match wsem almost done	blob \| commitdiff \| raw \| diff to current
2012-11-28	Wilmer Ricciotti	match	blob \| commitdiff \| raw \| diff to current
2012-11-28	Wilmer Ricciotti	match_step	blob \| commitdiff \| raw \| diff to current
2012-11-27	Andrea Asperti	ennesima versione	blob \| commitdiff \| raw \| diff to current
2012-11-27	Andrea Asperti	splitting files	blob \| commitdiff \| raw \| diff to current
2012-11-26	Wilmer Ricciotti	test null, match	blob \| commitdiff \| raw \| diff to current
2012-11-26	Andrea Asperti	working on match	blob \| commitdiff \| raw \| diff to current
2012-11-23	Wilmer Ricciotti	match	blob \| commitdiff \| raw \| diff to current
2012-11-23	Wilmer Ricciotti	compare	blob \| commitdiff \| raw \| diff to current
2012-11-23	Andrea Asperti	work in progress	blob \| commitdiff \| raw \| diff to current
2012-11-23	Andrea Asperti	Restoring and fixing the old version	blob \| commitdiff \| raw \| diff to current
2012-11-22	Wilmer Ricciotti	match	blob \| commitdiff \| raw \| diff to current
2012-11-21	Wilmer Ricciotti	match	blob \| commitdiff \| raw \| diff to current
2012-11-21	Andrea Asperti	compare con terminatore	blob \| commitdiff \| raw \| diff to current
2012-11-21	Andrea Asperti	match	blob \| commitdiff \| raw \| diff to current
2012-11-20	Wilmer Ricciotti	match	blob \| commitdiff \| raw \| diff to current
2012-11-20	Andrea Asperti	compare	blob \| commitdiff \| raw \| diff to current
2012-11-16	Wilmer Ricciotti	Match machine (multi)	blob \| commitdiff \| raw \| diff to current
2012-11-16	Wilmer Ricciotti	Match machine (multi-tape)	blob \| commitdiff \| raw \| diff to current

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

RSS Atom