Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] haskabelle pdf doc generation

Email Gateway (Aug 22 2022 at 18:58):

From: Fabien R <theedge456@free.fr>
Hello,
I installed the last release of haskabelle in the directory "contrib" of isabelle2018.
The generation failed using the following commands:

export ISABELLE_HOME=<isa_path>
export PATH=${PATH}:${ISABELLE_HOME}/bin
isabelle env admin/builddoc

*** Cannot load theory file "<isa_path>/contrib/haskabelle-b885ee4618d8/doc-src/Haskabelle/files.thy"
*** The error(s) above occurred in session "Haskabelle" (line 1 of "<isa_path>/contrib/haskabelle-b885ee4618d8/doc-src/ROOT")

The content of ROOT is:

session Haskabelle (doc) in "Haskabelle" = HOL +
options [document_variants = "haskabelle"]
theories [document = false] Setup
theories Haskabelle
files
"$ISABELLE_HOME/src/Doc/prepare_document"
"$ISABELLE_HOME/src/Doc/pdfsetup.sty"
"$ISABELLE_HOME/src/Doc/iman.sty"
"$ISABELLE_HOME/src/Doc/extra.sty"
"$ISABELLE_HOME/src/Doc/isar.sty"
"$ISABELLE_HOME/src/Doc/manual.bib"
document_files
"build"
"root.tex"
"style.sty"

Any hint ?

Last updated: Apr 23 2024 at 08:19 UTC