On Mon, 25 Nov 2013, Lars Hupel wrote:
Another approach is to have the whole prover process running
remotely, similar to the ancient rsh mode of Proof General 2.x that is
forgotten now. Isabelle/Scala uses actors for internal communication,
and this needs to be upgraded soon to one of the newer
Another approach is to have the whole prover process running
remotely, similar to the ancient rsh mode of Proof General 2.x that
is
forgotten now. Isabelle/Scala uses actors for internal
communication,
and this needs to be upgraded soon to one of the newer actor
frameworks, such as Akka -- the
On Mon, 25 Nov 2013, Gerwin Klein wrote:
the main use case for WWW_Find is with images that are potentially too
big to build yourself or that you don’t have on your machine for some
other reason (e.g. too big for a laptop or small desktop).
If the find_theorems panel could connect to a remote
Sorry, missed all this, because I was away (and the rest of NICTA had a quite
busy week).
On 21.11.2013, at 10:56 pm, Makarius wrote:
> On Wed, 20 Nov 2013, Makarius wrote:
>
>> Did anybody test WWW_Find?
>
> WWW_Find is a NICTA-only tool. Did any of the NICTA guys test it in the
> Isabelle2