[isabelle-dev] Markup.hilite

Timothy Bourke Timothy.Bourke at nicta.com.au
Thu Feb 12 02:29:30 CET 2009

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?


-------------- 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>

More information about the isabelle-dev mailing list