lp15 at cam.ac.uk
Wed Aug 26 16:13:52 CEST 2009
Thanks for the tip. On the X11 version of Emacs, I found Options ->
Set font/fontset and it did the trick.
I didn't have any luck however with Aquamacs (http://aquamacs.org/),
which claims to be based on Emacs 23. I could not find Options -> Set
font/fontset at all.
On 25 Aug 2009, at 19:02, David Aspinall wrote:
> Lawrence Paulson wrote:
>> Does anybody know what would cause the symbols that look like this?
>> It is the latest version of proof general running under GNU Emacs
> Nobody else came running so I'll answer...
> First of all: everyone will have a *much* better experience with
> Emacs 23.x if you can find/build a version. It's what persuaded me
> Emacs was worth sticking with. I wish they would release it
> properly. Some Linux distributions (e.g. Ubuntu) are distributing
> it as a package now (emacs-snapshot).
> Supposing you have to stick with Emacs 22.2:
> This effect is caused by using a font which does not have glyphs in
> the Unicode positions for the tokens. You can select a better font
> to improve matters, try:
> Tokens -> Make fontsets
> and then
> Options -> Set font/fontset
> and try the possibilities on the "Fontset" submenu. On the Linux I'm
> using right now, I get a better result with the fontset "standard:16-
> dot-medium" than I do with the custom pgXXX fontsets created by the
> first menu command. Not sure why, it wasn't the case when I wrote
> all the fontset support mess a year ago.
> I thought I had documented this somewhere but can't find it now,
> must admit.
> - David
> The University of Edinburgh is a charitable body, registered in
> Scotland, with registration number SC005336.
More information about the isabelle-dev