[isabelle-dev] Error in "cite" anitquotation

Lawrence Paulson lp15 at cam.ac.uk
Sat Jan 21 20:24:12 CET 2023

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?

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>

More information about the isabelle-dev mailing list