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

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

[helm.git] / matita / matita / lib / turing / universal / copy.ma

2012-12-06	Ferruccio Guidi	- we enabled a notation for ex2	blob \| commitdiff \| raw
2012-08-27	Wilmer Ricciotti	End of copy.ma	blob \| commitdiff \| raw \| diff to current
2012-08-15	Wilmer Ricciotti	progress	blob \| commitdiff \| raw \| diff to current
2012-08-09	Wilmer Ricciotti	Work in progress.	blob \| commitdiff \| raw \| diff to current
2012-08-08	Wilmer Ricciotti	Adding GRealize to uni_step.	blob \| commitdiff \| raw \| diff to current
2012-07-30	Wilmer Ricciotti	Wip	blob \| commitdiff \| raw \| diff to current
2012-07-27	Wilmer Ricciotti	work in progress	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	Wilmer Ricciotti	Finalized copy sub-machine of the universal turing...	blob \| commitdiff \| raw \| diff to current
2012-05-30	Wilmer Ricciotti	Progress.	blob \| commitdiff \| raw \| diff to current
2012-05-28	Andrea Asperti	porting of move_char_c	blob \| commitdiff \| raw \| diff to current
2012-05-22	Wilmer Ricciotti	Progress	blob \| commitdiff \| raw \| diff to current
2012-05-21	Wilmer Ricciotti	Progress.	blob \| commitdiff \| raw \| diff to current
2012-05-18	Wilmer Ricciotti	Progress	blob \| commitdiff \| raw \| diff to current
2012-05-18	Wilmer Ricciotti	Progress in semantics of the copy machine.	blob \| commitdiff \| raw \| diff to current
2012-05-17	Wilmer Ricciotti	Progress	blob \| commitdiff \| raw \| diff to current
2012-05-17	Wilmer Ricciotti	Progress	blob \| commitdiff \| raw \| diff to current
2012-05-15	Wilmer Ricciotti	Added universal machine (mockup)	blob \| commitdiff \| raw \| diff to current
2012-05-14	Wilmer Ricciotti	Added copy machine (mockup)	blob \| commitdiff \| raw \| diff to current

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

RSS Atom