[isabelle-dev] Allowed characters in theory names for document build

Makarius makarius at sketis.net
Sun Oct 8 17:20:30 CEST 2017


On 08/10/17 17:03, Christian Weinz wrote:
> 
> Isabelles pdflatex document build fails when there is a space or any of
> ä, ö, ü, ß and % in a theories name. Possibly more characters are
> affected.

Why not post this on the isabelle-users mailing list?


	Makarius




More information about the isabelle-dev mailing list