Custom Query (361 matches)

After recent changes in isar/isabelle-system.el (9.1 or 9.2) the logic menu is broken:

Syntax error: "Unknown keyword in gui item", :help, "Default"

It does work with GNU Emacs, though.

A feature of the message model which looks a bit odd to me: error messages can get lost if urgent messages follow.

Here is a synthetic example to get the idea:

ML {* Output.error_msg "failed"; priority "never mind" *}

Only the second message will be visible to the user.

In reality the error message stems from an actual failure of the command and the priority message is produced by some extra component that is not directly synchronized with the command execution.

Carbon Emacs 1.6.0, X-Symbol (with either version of the ttf fonts), Courier Fontset. Now sub/superscripts of letters are displayed in greek instead of lattin! For example see A\<^sub>W where the W comes out as capital Omega; the same for lower case.

It does work correctly with the default "16-dot medium" fontset of Carbon Emacs. So maybe Carbon Emacs is to blame, but there might be a workaround for PG.