]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d223192) | patch
Ring partially ported to the new library. But I am completely sure that
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 10 Dec 2002 17:04:13 +0000 (17:04 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 10 Dec 2002 17:04:13 +0000 (17:04 +0000)
commit570d0db41452928eac92a00dc63f0b360d2c816b
treeb197e1a0104c22f5e23a8b9bf525b8501d2a7819tree | snapshot
parentd2231920c2babb294474bbc9914f971c8336b3b5commit | diff
Ring partially ported to the new library. But I am completely sure that
this is not the notation we need for ring. To be changed...
helm/style/ring.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.