]> matita.cs.unibo.it Git - helm.git/history - matita/matita/lib/tutorial
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
some notation renamed and fixed
[helm.git] / matita / matita / lib / tutorial /
2013-04-30 Andrea Aspertichapter9 tree | commitdiff
2013-04-30 Andrea Aspertitutorial tree | commitdiff
2013-03-11 Andrea AspertiChpater 4 and 5 tree | commitdiff
2013-03-10 Andrea Aspertichapters 2 e 3 tree | commitdiff
2013-02-28 Andrea Aspertichapter2 revisited tree | commitdiff
2013-02-27 Andrea AspertiChapter 1 revisited tree | commitdiff
2012-12-07 Ferruccio Guidi- pts_dummy/pts_dummy_new: non compiling parts commente... tree | commitdiff
2012-12-07 Ferruccio Guidi- untranslated sections of "formal_topology" commented... tree | commitdiff
2012-07-21 Andrea AspertiAn executable version of the tutorial. tree | commitdiff
2012-07-19 Andrea AspertiFew changes tree | commitdiff
2012-07-19 Andrea Aspertiadding tutorial tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.