Re: [isabelle] Allowed characters in theory names for document build
[I took the liberty of moving this to isabelle-users]
Isabelles pdflatex document build fails when there is a space or any of
Ã, Ã, Ã, Ã and % in a theories name. Possibly more characters are
I would strongly recommend using plain ASCII characters for theory
names. Many things might break in unexpected things (apart from document
preparation) when non-ASCII characters are used.
To make Isabelle and its document build feature more permissive with
filenames, what is the best way to solve these issues?
I don't think this is expected to work, hence I see very little prospect
to solve this in the future.
This archive was generated by a fusion of
Pipermail (Mailman edition) and