Email Gateway (Aug 22 2022 at 13:46): Email Gateway (Aug 22 2022 at 13:46):From: Gergely Buday <buday.gergely@uni-eszterhazy.hu>
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?
Email Gateway (Aug 22 2022 at 13:47):From: Lars Hupel <hupel@in.tum.de>
Hi,
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>.
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
Email Gateway (Aug 22 2022 at 13:47):From: Makarius <makarius@sketis.net>
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
Last updated: Apr 24 2024 at 16:18 UTC