[isabelle] The Isabelle Server: responsive control of prover sessions



Dear Isabelle users,

please see this blog post on the new Isabelle server:
https://sketis.net/2018/the-isabelle-server-responsive-control-of-prover-sessions

It should already be usable, although there are no users yet.

In the coming months before the Isabelle2018 release, it should become
really robust and stable, but that requires feedback from applications
to get there.


	Makarius




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