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


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

currently no. See also

> 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 archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.