[isabelle-dev] Error in "cite" anitquotation

[Lawrence Paulson]

I used the one in Types_Tableaus_and_Goedels_God with some modifications and one entry of my own. Seems to work.

For the future, do we need to prohibit entries with explicit bibliographies?

Larry
On 21 Jan 2023 at 17:18 +0000, Makarius <makarius at sketis.net>, wrote:

If you have some a .bib file, please add it to the session.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20230121/dd0d9832/attachment-0001.htm>