Custom Query (361 matches)
Results (37 - 39 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#91 | fixed | PGML: add markup for subscript, superscript, bold, ... | ||
Description |
PGML does not have this markup. Subscript and superscript, at least, are important for Isabelle display. |
|||
#92 | duplicate | Attempt recovery from XML parse errors in PGIP main loop | ||
Description |
Isabelle exits in case of erroneous XML input. It could be made more robust, which, e.g., helps debugging in case of editing XML by hand.
One suggestion is to attempt recovery by scanning for the next
See proof_general_pgip.ML, function |
|||
#103 | fixed | Add ASCII markup communication for Coq (fix UTF8 stream/FAQ no.1) | ||
Description |
Coq still uses the troublesome UTF-8 prefix character that causes the "hang" in FAQ no.1. It should use an ASCII markup instead, like Isabelle's -mASCII flag. |
Note: See TracQuery
for help on using queries.