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).
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
