Closed dsheets closed 10 years ago
(** [] *)
is interpreted as an empty code span and translated to XML as
<code></code>
which is then parsed as CODE CLOSE which is not a valid production (missing Data). This results in a parse error and termination of the parsing of that compilation unit.
CODE CLOSE
Data
Should now be fixed in doc-ock-xml.
is interpreted as an empty code span and translated to XML as
which is then parsed as
CODE CLOSE
which is not a valid production (missingData
). This results in a parse error and termination of the parsing of that compilation unit.