[isabelle-dev] WWW_Find updates

[Gerwin Klein]

On 21/11/2012, at 11:56 PM, Makarius <makarius at sketis.net> wrote:

> Is WWW_Find still alive and maintained?

Yes, we'll have a look at it.

Cheers,
Gerwin


> Isabelle/a96bd08258a2 propagates some changes of symbol.scala to its unequal twin in src/Tools/WWW_Find/unicode_symbols.ML, but it could not be tested because the server was producing "500 - Internal Server Error" already before the change. In contrast, in Isabelle2012 the wwwfind tool appears to work.
>
> Generally, unicode_symbols.ML imposes assumptions on the format of etc/symbols files that were not there before, according to the operational specifcation in symbol.scala.  At some point I also would like to reform this ancient file format, and might end up producing a legacy copy just for WWW_Find.  Management of symbols happens on the Isabelle/Scala side these days.
>
>
>       Makarius
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
>


________________________________

The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.