]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e853940) | patch
new version
authormatitaweb <claudio.sacerdoticoen@unibo.it>
Mon, 3 Oct 2011 10:42:28 +0000 (10:42 +0000)
committermatitaweb <claudio.sacerdoticoen@unibo.it>
Mon, 3 Oct 2011 10:42:28 +0000 (10:42 +0000)
commit536fb8fcbdc36f5d860e4c7380890a355490a213
tree18ff127e2d44c40a88e52524a21c81392ea2236ftree | snapshot
parente8539409764826d67bae1df0b4b7f6aeda0c17c7commit | diff
new version
weblib/tutorial/chapter1.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.