Custom Query (361 matches)
Results (76 - 78 of 361)
| Ticket | Resolution | Summary | Owner | Reporter |
|---|---|---|---|---|
| #191 | fixed | Code cleanup: remove proof-no-command | ||
| Description |
We could replace |
|||
| #193 | fixed | Fix output of texi2html | ||
| Description |
Several glitches are now appearing in the user manuals, including missing images, including verbatim info dir entry, and broken in-page links, and too many navigation bars in the same page. |
|||
| #197 | fixed | Non-persistance of Unicode Tokens / Math Menu (Carbon Emacs 1.6.0) | ||
| Description |
Using native Carbon Emacs 1.6.0 on Mac OS 10.4.x the Unicode Tokens and Unicode Math Menu custom settings do not really persist. For example: start Proof General (via isar/interface script), then enable both options --- works fine. Now safe safe options: resulting .emacs file only holds information for isar-maths-menu-enable and when restarting PG/Emacs only this option is enabled. After editing the .emacs file to set isar-unicode-tokens-enable as well, the corresponding menu item is ticked, but shaded, i.e. cannot be changed. Moreover, neither this mode nor the math menu are enabled. |
|||
