[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 
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



More information about the isabelle-dev mailing list