]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4c9e3f2) | patch
Severe bug fixed: the test failed in the case of (Rplus (...) R1).
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 11 Dec 2002 11:43:18 +0000 (11:43 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 11 Dec 2002 11:43:18 +0000 (11:43 +0000)
commit94512047e60c9872c472081c193eae44bddefc65
tree29961e416c35b72e76b634abd4ac17e8516c44f3tree | snapshot
parent4c9e3f24bf6a98e69f2297da23392069ec298da1commit | diff
Severe bug fixed: the test failed in the case of (Rplus (...) R1).
As a consequence (Rplus (Rplus R1 R1) R1) was rendered as 2.
helm/meta_style/positive.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.