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

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

2012-12-06	Ferruccio Guidi	- we enabled a notation for ex2	blob \| commitdiff \| raw
2012-06-12	Andrea Asperti	adding match_machines and removing trans_to_tuples	blob \| commitdiff \| raw \| diff to current
2012-06-12	Andrea Asperti	several changes	blob \| commitdiff \| raw \| diff to current
2012-06-08	Andrea Asperti	A recompiling version	blob \| commitdiff \| raw \| diff to current
2012-06-06	Andrea Asperti	Restructuring	blob \| commitdiff \| raw \| diff to current
2012-06-01	Andrea Asperti	Ci siamo quasi	blob \| commitdiff \| raw \| diff to current
2012-05-30	Andrea Asperti	some progress	blob \| commitdiff \| raw \| diff to current
2012-05-29	Andrea Asperti	The universal machine!!!	blob \| commitdiff \| raw \| diff to current
2012-05-17	Wilmer Ricciotti	Added null character.	blob \| commitdiff \| raw \| diff to current
2012-05-15	Wilmer Ricciotti	Added universal machine (mockup)	blob \| commitdiff \| raw \| diff to current

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