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