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

2012-11-28	Wilmer Ricciotti	match	blob \| commitdiff \| raw
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.