Is WWW_Find still alive and maintained?
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-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
