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:
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
Size: 187 bytes
Desc: not available
More information about the isabelle-dev