]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 153b6f3) | patch
Towards the 0.95.1 release.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 17 Nov 2011 00:04:01 +0000 (00:04 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 17 Nov 2011 00:04:01 +0000 (00:04 +0000)
commit1bcb7873873c3d4ec213ee1ff289aa8eccc5c1ad
tree8ea8dfa922807fa4253b7d627d27c343fae4f819tree | snapshot
parent153b6f35ae08d0904f8fec079133ad3ca1186544commit | diff
Towards the 0.95.1 release.
matita/matita/dist/ChangeLog diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.