]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7b29f50) | 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)
commitd83abd7e5e107f75b24e45dc75ad859ebc11c0fa
tree56381defd84b732dd2045439baa71919b5258d18tree | snapshot
parent7b29f50ea116524e4bc91b762b81fd5ae927c4eacommit | 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).
helm/software/components/acic_content/acic2content.ml diff | blob | history
helm/software/components/content_pres/content2pres.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.