]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 42e5fd6) | patch
Tutorial update.
authormatitaweb <claudio.sacerdoticoen@unibo.it>
Thu, 29 Sep 2011 13:37:58 +0000 (13:37 +0000)
committermatitaweb <claudio.sacerdoticoen@unibo.it>
Thu, 29 Sep 2011 13:37:58 +0000 (13:37 +0000)
commit3476afc7e71ac34beec061b94cf712e5ff85802f
treed1ccddb78591bdd94048ed720e256d5903b17a59tree | snapshot
parent42e5fd6dd0bf02a57895aa4871c6258c1f4eabf7commit | diff
Tutorial update.
weblib/tutorial/chapter1.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.