]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a3eced7) | patch
Bugs fixed:
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 2 Apr 2003 10:59:38 +0000 (10:59 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 2 Apr 2003 10:59:38 +0000 (10:59 +0000)
commitcc963878cd6a37db5958d0ec3aaa74c88d71b6fd
tree451d20c4ac460b506a41ccb5034b49daddd0ec66tree | snapshot
parenta3eced7e154a26057a5840b2f38366cae0f1eb03commit | diff
Bugs fixed:

1. It was assumed that no CDATA nodes were put between XML elements.
   But the generated hint XML files had newlines to pretty-print the XML.
   The current fix ignores every CDATA nodes. Maybe it should just ignore the
   ones made of blancks.
2. Tree-structured hints were not parsed correctly (the coe was simply
   wrong). Trivially fixed.

Open issue: my code is full of "assert false". Should it raise exceptions
instead? I firmly think so.
helm/hbugs/common/hbugs_messages.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.