Custom Query (361 matches)
Results (94 - 96 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#219 | fixed | Fix path loading for docstring magic in ProofGeneral.texi | ||
Description |
Needed before next release to update and extend variable documentation; "make magic" is broken in doc/ directory. |
|||
#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. |
|||
#221 | fixed | XEmacs 21.4.x: Isabelle logic menu broken | ||
Description |
After recent changes in isar/isabelle-system.el (9.1 or 9.2) the logic menu is broken:
It does work with GNU Emacs, though. |
Note: See TracQuery
for help on using queries.