Custom Query (361 matches)
Results (49 - 51 of 361)
| Ticket | Resolution | Summary | Owner | Reporter |
|---|---|---|---|---|
| #177 | fixed | Complete Unicode Token coding system and input method | ||
| Description |
This is an experimental partial replacement for X-Symbol. Ultimately it should be possible to extend it to handle control characters for subscript/superscript and other highlights. What is missing at the moment is a coding system. The (efficient) way to do this requires writing decode/encode functions in the dedicated CCL language, maybe. Another possibility might be to use a decode map in quail, but examples/documentation are thin on the ground. |
|||
| #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. |
|||
| #15 | fixed | Concurrency fixes in GetCommandResponseAction | ||
| Description |
Uses double checked locking and a static field. |
|||
Note: See TracQuery
for help on using queries.
