如何在 Isabelle 文档准备系统中使用主目录文件？
How to use a main bib file with the Isabelle document preparation system?
我在 git 存储库中有一个主要的 .bib 文件，我想将它用于我所有的 Isabelle 证明文件。
但是，isabelle build 拒绝文档根目录之外的 .bib 文件。我尝试使用符号链接，但它不是通过 git 传输的——我会在另一台机器上使用相同的文档。
这个问题有解决办法吗？
关于 git 和符号链接，我无话可说。
关于 Isabelle 文档准备，请参阅 The Isabelle System Manual 关于 ROOT 文件语法，特别是关于 document_files。在调用 latex 或 bibtex 作业之前，将集体文档文件复制到文档输出目录中。您可以在那里指定一个 基本目录 以从不同的目录层次结构中选择内容。例如。像这样：
document_files (in "/home/joe/some/where")
"root.bib"
我在 git 存储库中有一个主要的 .bib 文件，我想将它用于我所有的 Isabelle 证明文件。
但是，isabelle build 拒绝文档根目录之外的 .bib 文件。我尝试使用符号链接，但它不是通过 git 传输的——我会在另一台机器上使用相同的文档。
这个问题有解决办法吗？
关于 git 和符号链接，我无话可说。
关于 Isabelle 文档准备，请参阅 The Isabelle System Manual 关于 ROOT 文件语法，特别是关于 document_files。在调用 latex 或 bibtex 作业之前，将集体文档文件复制到文档输出目录中。您可以在那里指定一个 基本目录 以从不同的目录层次结构中选择内容。例如。像这样：
document_files (in "/home/joe/some/where")
"root.bib"