]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c695056) | patch
Typo fixed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 12 Oct 2009 16:03:39 +0000 (16:03 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 12 Oct 2009 16:03:39 +0000 (16:03 +0000)
commita2c95f3f040a25f69f9ded4971872a29ab8dfae8
treea5c807583557fde6b292e77d61b56f82f0d57b50tree | snapshot
parentc69505678c1746083a9a01ec4367cea67d888aa1commit | diff
Typo fixed.
helm/software/matita/dist/ChangeLog diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.