Custom Query (361 matches)
Results (34 - 36 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#203 | duplicate | Carbon Emacs: no colouring of variables in Isabelle output | ||
Description |
E.g. printing term "x" merely shows a black "x", not a blue one as expected. |
|||
#205 | duplicate | x-symbol fails in Carbon Emacs | ||
Description |
I am on a brand new MacBook Pro (OS 10.5.3) using Isabelle 2007 and the current release of Carbon Emacs. x-symbol fails to load (from the ProofGeneral menu) under Carbon Emacs. In the bottom window, I get the error: Warning (emacs): X-Symbol characters with registry "xsymb-xsymb1" are not used On the line at the very bottom, I get: Symbol's value as variable is void: ccl-encode-fake-xsymb1-font Thanks. |
|||
#212 | duplicate | Carbon Emacs: strange unicode abbreviations | ||
Description |
Carbon Emacs 22.2.1, working with "Unicode Tokens";
typing something like It seems that the unicode abbreviation code does not take the surrounding syntactical context into account. In some situations abbreviations seem to work -- I have no idea yet how to reproduce either behaviour reliably. |