Questions tagged [document-preparation]
The document-preparation tag has no summary.
1 question
1
vote
1
answer
126
views
What is Isabelle's new antiquotation syntax for cite?
If I use Isabelle's markup for citations in the document preparation system as one usually finds it online, Isabelle issues warnings:
...
- 491