[isabelle-dev] src/Doc/Corec fails
makarius at sketis.net
Sat Apr 2 19:19:54 CEST 2016
On Sat, 2 Apr 2016, Jasmin Blanchette wrote:
>> This works as long as only Isabelle antiquotations or control symbols
>> are used.
> I don't know any good way of putting Isabelle text as produced by
> antiquotations in bold. Do you?
How about this?
The subscript is not bold, but that is probably better mathematical
More information about the isabelle-dev