]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2867736) | patch
a nice bug in meta handling is not visible... brr...
authorEnrico Tassi <enrico.tassi@inria.fr>
Sun, 13 Sep 2009 21:02:15 +0000 (21:02 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sun, 13 Sep 2009 21:02:15 +0000 (21:02 +0000)
commit1434d54f86fcce0296bcda49086ce7f7040aa53d
tree39e339d9e0db6886a7dd3ade01945bf5aae93aedtree | snapshot
parent28677364f03d66dfacfe67c5b1b6c40136fbd8f0commit | diff
a nice bug in meta handling is not visible... brr...
helm/software/matita/nlibrary/topology/igft.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.