[isabelle] using a bib file outside document root



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



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.