[isabelle] Unicode Tokens constantly switched off in Proof General
- To: cl-isabelle-users at lists.cam.ac.uk
- Subject: [isabelle] Unicode Tokens constantly switched off in Proof General
- From: Manuel Eberl <eberlm at in.tum.de>
- Date: Tue, 18 Sep 2012 02:29:19 +0200
- User-agent: Mozilla/5.0 (X11; Linux i686; rv:15.0) Gecko/20120827 Thunderbird/15.0
I've been having a strange problem with Proof General lately: whenever I
start Proof General, "Display Unicode Tokens" is disabled. I can enable
it and it will work, but even when I save the settings, it will be
disabled again upon the next start of Proof General. In fact, merely
opening another file switches it off - but only for the buffer
containing that file, if I switch back to the other buffer, it's
switched on again.
This problem occurs only on my laptop, which runs a 32 bit Ubuntu 12.04
with emacs version 188.8.131.52 and the latest Isabelle 2012 from the
website. I have tried deleting all emacs configuration files I could
find and completely reinstalling Isabelle but the problem remained.
Another, possibly related, problem is that proof hiding does not work.
Whenever a proof is processed completely, all the Unicode tokens
disappear in the processed portion of the input, i.e. I see
\<Longrightarrow> instead of ⟹.
I realise that this is a minor issue and the development of Proof
General is in a bit of a limbo at the moment, but this is starting to
rather annoy me and I thought it might be a good idea to ask on the
mailing list in order to find out of somebody else is experiencing the
same problems and knows a fix.
This archive was generated by a fusion of
Pipermail (Mailman edition) and