[isabelle-dev] src/Doc/Corec fails

Makarius makarius at sketis.net
Sat Apr 2 14:01:28 CEST 2016

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

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 


More information about the isabelle-dev mailing list