matita.cs.unibo.it Git - helm.git/history - matita/matita/lib/tutorial/chapter6.ma

]> matita.cs.unibo.it Git - helm.git/history - matita/matita/lib/tutorial/chapter6.ma

2018-03-29	Ferruccio Guidi	decentralizing core notation	blob \| commitdiff \| raw
2014-12-23	Andrea Asperti	A compiling version	blob \| commitdiff \| raw \| diff to current
2014-12-04	Andrea Asperti	fixing	blob \| commitdiff \| raw \| diff to current
2014-12-04	Andrea Asperti	fixing	blob \| commitdiff \| raw \| diff to current
2013-04-30	Andrea Asperti	tutorial	blob \| commitdiff \| raw \| diff to current
2012-12-07	Ferruccio Guidi	- pts_dummy/pts_dummy_new: non compiling parts commente...	blob \| commitdiff \| raw \| diff to current
2012-12-07	Ferruccio Guidi	- untranslated sections of "formal_topology" commented...	blob \| commitdiff \| raw \| diff to current
2012-07-21	Andrea Asperti	An executable version of the tutorial.	blob \| commitdiff \| raw \| diff to current

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