]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d0f18ab) | patch
Bug in zarith notation corrected.
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 26 Jul 2001 09:02:17 +0000 (09:02 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 26 Jul 2001 09:02:17 +0000 (09:02 +0000)
commit4668559563eede2f325545a100ff82b774085ed0
tree0acd76ba72d69c5902abf1be5a2b0743a3465788tree | snapshot
parentd0f18ab7297b3d1a9cf69ab08f323c5d8939d44bcommit | diff
Bug in zarith notation corrected.
helm/style/arith.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.