]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e86b560) | patch
separated "]]" to avoid clash with (temporary) continuationals ligatures
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 5 Oct 2005 09:04:43 +0000 (09:04 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 5 Oct 2005 09:04:43 +0000 (09:04 +0000)
commit5433a131a7ff29529747e58c68dbf258d696e55b
tree190f4ad4438cf4d0b3ef9ecf2a87bf12a16ca963tree | snapshot
parente86b560394d1b89daf685c9f9b6b2c5ed8144393commit | diff
separated "]]" to avoid clash with (temporary) continuationals ligatures
helm/matita/library/Z/plus.ma diff | blob | history
helm/matita/library/nat/gcd.ma diff | blob | history
helm/matita/library/nat/ord.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.