Custom Query (361 matches)
Results (25 - 27 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#86 | fixed | Fix parse edit offset | ||
Description |
Editing document sets the parse edit offset, the position from which parsing begins next time. The code for adjusting this had faulty logic in earlier versions. It was fixed but seems to have broken again, perhaps with parser adjustments. This causes bad breakage because it gets difficult to edit text. |
|||
#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. |
|||
#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.