[isabelle-dev] Markup.hilite

[Timothy Bourke]

The Markup.hilite feature does not seem to be working properly in
recent dev versions.

For instance, the counterexample found for:
    lemma a
is not coloured yellow, whereas it is in the 2008 release.

Beyond noticing that there have been recent changes to the Markup
module, I haven't yet done any troubleshooting.

Would anyone know what is (not) happening here?

Tim.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 187 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20090212/043cd26d/attachment.pgp>