]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1c2cade) | patch
removed dummy comment
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 15 Jul 2008 09:09:30 +0000 (09:09 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 15 Jul 2008 09:09:30 +0000 (09:09 +0000)
commitfa3ef782b1336310a78868e7dfc900fa988ee2ab
tree541692391f8559643d3a0900d5eca5052d6e3ce1tree | snapshot
parent1c2cadee5d666f0e31085a4ff358d667379c4f25commit | diff
removed dummy comment
helm/software/matita/core_notation.moo diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.