Custom Query (361 matches)
Results (7 - 9 of 361)
Ticket | Owner | Reporter | Resolution | Summary |
---|---|---|---|---|
#220 | fixed | Remove X-Symbol, XEmacs support and backward compatibility | ||
Description |
Life moves on, and so does Emacs. We can only afford to support one main version and backward compatibility for a few previous releases. This major release will be a chance to clean up and simplify the code base and rationalise the number of supported systems. |
|||
#241 | fixed | Fix link parse and undo for <whitespace> elements. | ||
Description |
Isabelle2008 produces different parseresult output for the PGIP parsescript command to Isabelle2007. In particular, comments now produce <whitespace> elements rather than <comment>, which violates assumption that <whitespace> applies only to real whitespace. This has broken script management, in particular, the undo behaviour for comments. Simple test case: (* comment at start *) theory Foo imports Pure begin end |
|||
#245 | fixed | Script management: parsing protocol error | ||
Description |
This message is generated when switching to a new file; the parsing code is grabbing response to a previous PGIP message. |