[isabelle] using a bib file outside document root


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


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.