]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7504607) | patch
Bug fixed: RewriteLR were not recognized correctly. Moreover they were also
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 23 Aug 2007 20:54:05 +0000 (20:54 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 23 Aug 2007 20:54:05 +0000 (20:54 +0000)
commitaf01cbe989c6d633cb79f4efc0d2d0fee1eeb8cc
tree37921d29657819ff5ac0e5399e6f108c0fe1451atree | snapshot
parent75046078a3dedfb5ae79fe345217f8edf19f9aaecommit | diff
Bug fixed: RewriteLR were not recognized correctly. Moreover they were also
handled incorrectly (according to the is_top_down flag that should be irrelevant).
components/acic_content/acic2content.ml diff | blob | history
components/content_pres/content2pres.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.