]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d1f0e3f) | patch
0.5.1 should be realased soon, the bug that was affecting fixpoints
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 21 May 2008 10:40:56 +0000 (10:40 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 21 May 2008 10:40:56 +0000 (10:40 +0000)
commit2fbef023cc9fdb3d6982194ba62552a0605f2571
tree54d1b53fe226cd8e921fc65a6ceba77d00e6bef8tree | snapshot
parentd1f0e3f90815a5afdf3b1412887628fb5107e267commit | diff
0.5.1 should be realased soon, the bug that was affecting fixpoints
disambiguation is nasty
helm/software/configure.ac diff | blob | history
helm/software/matita/dist/ChangeLog diff | blob | history
helm/software/matita/dist/INSTALL diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.