]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 683978a) | patch
removed unused notation =>
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 13 Oct 2007 13:17:59 +0000 (13:17 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 13 Oct 2007 13:17:59 +0000 (13:17 +0000)
commit354c363760b5d5222b82674fca38e9c0dc55010e
treeb46adff8ed87715420bdfd6deb6627072f16d7ddtree | snapshot
parent683978a2627cf1ce15673360f26806593d22f7b5commit | diff
removed unused notation =>
helm/software/matita/core_notation.moo diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.