Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] using a bib file outside document root

Email Gateway (Aug 22 2022 at 10:45):

From: Buday Gergely <gbuday@karolyrobert.hu>
Hi,

some weeks ago I posed this question on stack overflow, now it is time to ask you on the list:

http://stackoverflow.com/questions/30867958/how-to-use-a-main-bib-file-with-the-isabelle-document-preparation-system

What is the rationale behind not letting the bibliography file reside outside the document root directory?

• Gergely

Last updated: Feb 15 2026 at 05:19 UTC