Custom Query (361 matches)
Results (49 - 51 of 361)
| Ticket | Resolution | Summary | Owner | Reporter |
|---|---|---|---|---|
| #118 | wontfix | Complete X-Symbol unicode patch and add symbol configuration for Isabelle | ||
| Description |
X-Symbol unicode patch allows use of token languages to input Unicode characters. Early work on this is now included in Proof General's bundled version of X-Symbol. |
|||
| #120 | fixed | Fix docstring magic to interpret blank lines as whitespace inside verbatim regions | ||
| Description |
The docstrings used to have whitespace at the start of lines as a workaround for this issue. Since the comments were kindly cleaned up by Stefan Monnier this is broken! It spoils the insertion of @lisp regions in texi files. |
|||
| #126 | fixed | Repair symbol handling | ||
| Description |
Symbol handling is currently broken, needs urgent repair. |
|||
Note: See TracQuery
for help on using queries.
