Re: [isabelle] using a remote server behind Isabelle/jEdit



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




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.