]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cc16727) | patch
fix in the development page
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 11 Jun 2006 08:16:13 +0000 (08:16 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 11 Jun 2006 08:16:13 +0000 (08:16 +0000)
commit4c0736b3d362197b2548ac6d81ce6d4e9a19b37b
tree9024d3c7b1fbd7b12e3776fb045baca8c9b410bdtree | snapshot
parentcc16727f34114cee287e6a81b80f68657c656725commit | diff
fix in the development page
helm/www/matita/development.shtml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.