Custom Query (361 matches)
Results (34 - 36 of 361)
| Ticket | Resolution | Summary | Owner | Reporter |
|---|---|---|---|---|
| #223 | fixed | \<zero> vs. \<one> tokens | ||
| Description |
I encountered a remaining issue with unicode support. Token \<one> is displayed as 1. When I copy this into another emacs buffer the information that this was \<one> is lost. The behaviour is OK for \<zero> which does not display as 0. Suggested fix: \<one> should behave as \<zero> does. |
|||
| #235 | fixed | Emacs forgets unicode tokens option | ||
| Description |
ProofGeneral > Save Options doesn't make PG remember that "Unicode tokens" was set in a previous session. (This used to work previously.) |
|||
| #236 | fixed | Crash when entering antiquotation | ||
| Description |
Entering @{ is broken in 3.7.1 and later. Effect: emacs takes three minutes to respond if it doesn't crash!!! It works with 3.7.1pre080722. This is on GNU Emacs 22.2.1 (i386-apple-darwin8.11.1, Carbon Version 1.6.0) of 2008-04-02 on seijiz.local. |
|||
Note: See TracQuery
for help on using queries.
