Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Two problems about emacs and jedit


view this post on Zulip Email Gateway (Aug 19 2022 at 10:51):

From: jiangdc <jiangdc@nlsde.buaa.edu.cn>
Hello everyone,
I installed Isabelle2013 with emacs23 on Ubuntu 12.04. When I type => or \<Rightarrow>, it converts to a symbol, which looks like a very tiny "=", but not looks like a normal rightarrow. It works, but just does not look so good.
And when I use jedit, if I typed a key word incorrectly, e.g. typing "shwo" instead of "show", sometimes I can not edit the file any more. I can save the file by mous, but I have to re-open jedit for further editing. This problem also happens several times when I type "with" and "thus" incorrectly several times.
If someone could give some assistance on these, I would appreciate it.
Thanksfor the timely help.
Regards,
Dongchen

view this post on Zulip Email Gateway (Aug 19 2022 at 10:52):

From: Walther Neuper <wneuper@ist.tugraz.at>
On 04/12/2013 09:50 AM, jiangdc wrote:

Hello everyone,
I installed Isabelle2013 with emacs23 on Ubuntu 12.04. When I type => or \<Rightarrow>, it converts to a symbol, which looks like a very tiny "=", but not looks like a normal rightarrow. It works, but just does not look so good.

A quick search with "emacs xsymbol" at

https://lists.cam.ac.uk/pipermail/cl-isabelle-users/
(found at the bottom of
http://isabelle.in.tum.de/index.html)

shows that there have been lots of problems with mathematical symbols
and emacs since ever.
So most of us are happy to have jEdit now.

And when I use jedit, if I typed a key word incorrectly, e.g. typing "shwo" instead of "show", sometimes I can not edit the file any more. I can save the file by mous, but I have to re-open jedit for further editing. This problem also happens several times when I type "with" and "thus" incorrectly several times.

Good practice with Isabelle/jEdit is, to develop the proof document in a
way which avoids errors from the very beginning.
Isabelle/Isar provides "oops" and "sorry" for that purpose, see for
instance

Tutorial on Isabelle/HOL
<http://isabelle.in.tum.de/dist/Isabelle2013/doc/tutorial.pdf>:
http://isabelle.in.tum.de/dist/Isabelle2013/doc/tutorial.pdf
and
The Isabelle/Isar Reference Manual
<http://isabelle.in.tum.de/dist/Isabelle2013/doc/isar-ref.pdf>:
http://isabelle.in.tum.de/dist/Isabelle2013/doc/isar-ref.pdf

(both found at http://isabelle.in.tum.de/documentation.html)

Hope that helps,
Walther

PS: Before copying from PDF to Isabelle/jEdit, you might have a look at
https://lists.cam.ac.uk/mailman/htdig/cl-isabelle-users/2013-March/msg00100.html

view this post on Zulip Email Gateway (Aug 19 2022 at 10:52):

From: Makarius <makarius@sketis.net>
This sounds a bit odd. I wonder if it is a genuine GUI and popup
management problem that some people have reported on certain window
managers.

Is your Ubuntu 12.04 just the standard configuration, or do you have your
own window manager (e.g. xmonad, awesome)? Do you have 32bit or 64bit
Linux?

There is some chance that the problem is caused by the sidekick completion
popup. The menu "Plugins / Plugin Options / SideKick / General" opens
some dialog box with "Code Completion Options" at the bottom. This allows
to change the GUI reactivity here, e.g. "After popup trigger keystroke,
wait (seconds)" to slow down the popup. In Isabelle2012 that used to be
0.3 seconds.

These are just some ideas to try. It might need several attempts to pin
down such problems of real-time reactivity.

Makarius

view this post on Zulip Email Gateway (Aug 19 2022 at 10:53):

From: Lars Noschinski <noschinl@in.tum.de>
A student reported privately to me a similar problem (jEdit does not
accepting keyboard input anymore, but still reacts to the mouse). I
asked him to report it here, but it seems he hasn't yet found the time.

-- Lars

view this post on Zulip Email Gateway (Aug 19 2022 at 10:54):

From: David Greenaway <david.greenaway@nicta.com.au>
Try installing the "fonts-stix" package as so:

sudo apt-get install fonts-stix

and restart emacs. This should hopefully solve the problem.

Cheers,
David


The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.

view this post on Zulip Email Gateway (Aug 19 2022 at 10:55):

From: jiangdc <jiangdc@nlsde.buaa.edu.cn>
Hi,

Message: 3
Date: Tue, 16 Apr 2013 09:55:58 +1000
From: David Greenaway
Subject: Re: [isabelle] Two problems about emacs and jedit
To:
Message-ID:
Content-Type: text/plain; charset="UTF-8"

On 12/04/13 17:50, jiangdc wrote:

I installed Isabelle2013 with emacs23 on Ubuntu 12.04. When I type =>
or \, it converts to a symbol, which looks like a very
tiny "=", but not looks like a normal rightarrow.

Try installing the "fonts-stix" package as so:

sudo apt-get install fonts-stix

and restart emacs. This should hopefully solve the problem.

I tried this, but it does not work.

Cheers,
David

Regards,
Dongchen

view this post on Zulip Email Gateway (Aug 19 2022 at 10:55):

From: Lawrence Paulson <lp15@cam.ac.uk>
This is a known bug involving Emacs 23.3: http://proofgeneral.inf.ed.ac.uk/trac/ticket/409

It is necessary to use another Emacs version.

Larry Paulson


Last updated: Mar 28 2024 at 12:29 UTC