Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] [install] font-problem


view this post on Zulip Email Gateway (Aug 18 2022 at 10:15):

From: Sven Schneider <svens@cs.tu-berlin.de>
Hey,

I have a little problem:
in the goal Buffer every variable has an additional
prefix and an additional postfix.

If the variable is colored green then
the prefix is an i with an accent aigu and
the postfix is an e with an accent grave.

If the variable is colored blue then
both accents are accent grave.

This seems to be some font-problem.

I would appreciate any help to resolve this problem!

bye!

Sven

view this post on Zulip Email Gateway (Aug 18 2022 at 10:16):

From: David Aspinall <David.Aspinall@ed.ac.uk>
You're probably using an unsupported version of XEmacs that has BETA
VERSION stamped on the splash screen? You'll have worse problems than
this with recent betas that have been put into Linux distros: I
regularly have segfaults during Dired sessions and buffer save C-x C-s
sometimes saves empty files. GNU Emacs gives a better experience these
days.

This problem turns out to be because a regular expression match
replacement fails (even though the match succeeds; presumably a bug in
the regexp engine). Here's a new version of isar.el which has a clumsy
workaround. There will be a new development version of PG available
soon which includes it.

- David.

Sven Schneider wrote:
isar.el

view this post on Zulip Email Gateway (Aug 18 2022 at 10:16):

From: David Aspinall <David.Aspinall@ed.ac.uk>
PS This might actually be a side effect of encoding systems used for
buffers in recent XEmacs versions, rather than a bug. If anyone can
come up with a better fix than mine, I'd be grateful.


Last updated: May 03 2024 at 04:19 UTC