]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0594dab) | patch
few more files, one diverges
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 8 Jul 2009 14:09:06 +0000 (14:09 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 8 Jul 2009 14:09:06 +0000 (14:09 +0000)
commita88be1ca42c0969dbab9a5c76240f5931df876d9
tree78e8399158049b2cf61415836827ddd37e07f9aftree | snapshot
parent0594dabc08a6bea6b7a3445b0e236a6901b362b0commit | diff
few more files, one diverges
helm/software/matita/nlibrary/depends diff | blob | history
helm/software/matita/nlibrary/depends.dot diff | blob | history
helm/software/matita/nlibrary/depends.png diff | blob | history
helm/software/matita/nlibrary/properties/relations.ma [new file with mode: 0644] blob
helm/software/matita/nlibrary/topology/igt.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.