]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 89d2370) | patch
not simbol is now the logical one
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 4 Dec 2000 13:53:13 +0000 (13:53 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 4 Dec 2000 13:53:13 +0000 (13:53 +0000)
commited48e54d2bd1a483edb14fad9f4dcefe4f9076f6
tree1dba3bd3a24e2bf8b557526d96257476b365e9e1tree | snapshot
parent89d2370db1ef266be1dce32c0f9ca0552f6fe2f7commit | diff
not simbol is now the logical one
helm/style/mml2mmlv1_0.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.