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>
