]> matita.cs.unibo.it Git - helm.git/commit
A compiling version
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 23 Dec 2014 20:26:11 +0000 (20:26 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 23 Dec 2014 20:26:11 +0000 (20:26 +0000)
commit278be9d611634dce13657bbe14b5c1bb4f7dd2be
tree0dda3b38d590fb6be36a8eb39aaba081ace4f18b
parentcd77f8898787aab4808437ee731f5c7f87cd64df
A compiling version
matita/matita/lib/tutorial/chapter1.ma
matita/matita/lib/tutorial/chapter10.ma
matita/matita/lib/tutorial/chapter11.ma
matita/matita/lib/tutorial/chapter13.ma
matita/matita/lib/tutorial/chapter6.ma
matita/matita/lib/tutorial/chapter8.ma