[isabelle-dev] Isabelle2013-2 release

Makarius 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 mailing list