[isabelle-dev] Isabelle2013-2 release
makarius at sketis.net
Thu Nov 21 12:56:14 CET 2013
On Wed, 20 Nov 2013, Makarius wrote:
> Did anybody test WWW_Find?
This is not a running gag nor a bad joke.
WWW_Find is a NICTA-only tool. Did any of the NICTA guys test it in the
Isabelle2013-1 RC phase?
There was also zero feedback about the context selector in the Find panel
of Isabelle/jEdit, e.g. if it can supersede WWW_Find or if it is useless.
That context is not fully native in the document model so far, and it
would require a bit more work to make it fit tightly. That work is
well-invested if the resources for WWW_Find maintenance could be freed
eventually (by removing it from the source tree).
More information about the isabelle-dev