[isabelle-dev] WWW_Find updates
Gerwin.Klein at nicta.com.au
Sun Nov 25 00:49:54 CET 2012
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.
> 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.
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
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.
More information about the isabelle-dev