[isabelle] using a remote server behind Isabelle/jEdit



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



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