-
Piotr Trojanek authored
With the recent Isabelle realization of reals some altname attributes were printed with characters that must be escaped in a valid XML output; this was tested with xmllint.
a8d40652
With the recent Isabelle realization of reals some altname attributes were printed with characters that must be escaped in a valid XML output; this was tested with xmllint.