问题
I want to use Isabelle on weaker laptops and delegate the heavy theorem search/proving to a server on the network. I would guess that this has been done before but I could not find tutorials or reports for this task.
The Isabelle System Manual describes how to run the Isabelle backend on its own. However I don't understand from the manual how to connect one of the existing frontends (e.g. Isabelle/jEdit) to such a process. The setup should ideally work for multiple users (and with theory files located on the user system).
The best I could achieve up to now was to run all of Isabelle/jEdit on the server and access it from a Linux laptop via SSH/X11-forwarding. This is cool but not exactly what I had in mind. Are there other approaches?
来源：https://stackoverflow.com/questions/53837748/isabelle-server-on-another-machine