2016-07-12 10:22:52 UTC
is it possible to configure Isabelle/jEdit to use a remote server for
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