Stream: Beginner Questions

Topic: cite antiquotation


view this post on Zulip maximilian p.l. haslbeck (Sep 17 2020 at 14:59):

When providing a *.bib file in the ROOT of a theory, one can use the antiquotation @{cite REF} in Isabelle theories. How do you use that practically, and where can one find documentation about it? e.g. look at the first reference in Floyd_Warshall.Floyd_Warshall from the AFP.

view this post on Zulip maximilian p.l. haslbeck (Sep 17 2020 at 15:00):

How does Isabelle/JEdit react on those antiquotations? It seems that Isabelle/JEdit looks through *.bib files opened in a buffer, not the ones mentioned in the respective ROOT file.


Last updated: Sep 25 2022 at 23:25 UTC