Custom Query (361 matches)
Results (37 - 39 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. |
|||
#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. |
|||
#213 | fixed | 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. |