[isabelle-dev] src/Doc/Corec fails

[Makarius]

The new src/Doc/Corec is still failing on macbroy2, e.g. see 
Isabelle/1948d555a55a.

The problem is a missing macro \textsubscript


In the last 10 years, Isabelle documentation has used fewer and fewer 
LaTeX specialities. There is still hope that we can produce HTML + CSS at 
some point.

This works as long as only Isabelle antiquotations or control symbols are 
used.


 	Makarius