]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5ab1ee7) | patch
Version number set to 1.0.0-rc1
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 1 Jul 2009 13:56:38 +0000 (13:56 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 1 Jul 2009 13:56:38 +0000 (13:56 +0000)
commit1d3c12109517e15a3310f0bf7a19e98992b3861c
treec4b9cccf28cd01d4d84a02305329ef8576bc2bdatree | snapshot
parent5ab1ee786cc61cdb3c18d219c768ea7e737e5987commit | diff
Version number set to 1.0.0-rc1
helm/software/components/binaries/matitaprover/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.