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

Dear Isabelle users,

please see this blog post on the new Isabelle server:

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.


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