Theory listing Latex fail on empty tag #12
Description
If a theorem is stored using the key "" then when the theory is listed the conversion to PDF may fail.
This happened to me when running the utf8 branch of ProofPower and processing the theory listing in a document using lualtex.
Perhaps the key "" should not be allowed, or else some adjustment so that it actually works OK,