Discussion:
[isabelle] using a remote server behind Isabelle/jEdit
(too old to reply)
Gergely Buday
2016-07-12 10:22:52 UTC
Permalink
Raw Message
Hi,



is it possible to configure Isabelle/jEdit to use a remote server for
checking proofs?



I am aware that sledgehammer can be configured to do so, but I am interested
in asking another machine to do all the checking.



An option would be to share the jEdit window via X-Windows, does anybody use
it smoothly?



- Gergely
Lars Hupel
2016-07-12 10:42:52 UTC
Permalink
Raw Message
Hi,
Post by Gergely Buday
is it possible to configure Isabelle/jEdit to use a remote server for
checking proofs?
currently no. See also
<http://sketis.net/2015/proposal-remote-prover-connectivity-for-isabellepide-2>.
Post by Gergely Buday
An option would be to share the jEdit window via X-Windows, does anybody use
it smoothly?
I did that some years ago (when Isabelle/jEdit was new) and it is
borderline usable (if you're connected locally via Ethernet to a
server). If you connect via WiFi and/or to a remote server somewhere on
the Internet, the system becomes sluggish.

Cheers
Lars
Makarius
2016-07-12 10:44:22 UTC
Permalink
Raw Message
Post by Lars Hupel
Post by Gergely Buday
An option would be to share the jEdit window via X-Windows, does anybody use
it smoothly?
I did that some years ago (when Isabelle/jEdit was new) and it is
borderline usable (if you're connected locally via Ethernet to a
server). If you connect via WiFi and/or to a remote server somewhere on
the Internet, the system becomes sluggish.
This is an ancient problem of both X11 and Java/AWT for X11. It never
really worked well in the past decades, and today with heavy GUI
painting it is unusable.

What does work to some extent is RDP, i.e. the MS desktop sharing
protocol. I am using it routinely with a remote Windows 2008 server,
even going through rdesktop and X11 again.


Makarius

Loading...