[isabelle] using a remote server behind Isabelle/jEdit



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?

 

- Gergely

 

 




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