如何在Isabelle文档准备系统中使用主bib文件?

时间:2015-06-16 12:45:03

标签: git symlink isabelle

我在git存储库中有一个主.bib文件,我想将它用于我所有的Isabelle证明文件。

但是,isabelle build拒绝文档根目录之外的.bib文件。我试图使用符号链接,但不通过git传输 - 我会在另一台机器上使用相同的文档。

这个问题有解决方法吗?

1 个答案:

答案 0 :(得分:2)

我不能说git和符号链接。

关于Isabelle文档准备工作,请参阅The Isabelle System Manual,了解ROOT文件语法,特别是document_files。在调用latex或bibtex作业之前,将集合文档文件复制到文档输出目录中。您可以在那里指定基目录以从不同的目录层次结构中选择内容。例如。像这样:

document_files (in "/home/joe/some/where")
  "root.bib"