From 4aa8730762433b466c7b9537bc3f00ab618a1ccb Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Tue, 6 Nov 2018 09:10:11 +0000 Subject: [PATCH] Updated ROOT(s) setup to include AFP entries ... --- ROOTS | 2 +- examples/ROOTS | 4 ++++ examples/technical_report/ROOT | 2 +- 3 files changed, 6 insertions(+), 2 deletions(-) create mode 100644 examples/ROOTS diff --git a/ROOTS b/ROOTS index 1d506a0..8a4bdf7 100644 --- a/ROOTS +++ b/ROOTS @@ -1,3 +1,3 @@ AFP-contribs/Regular-Sets AFP-contribs/Functional-Automata - +examples/ diff --git a/examples/ROOTS b/examples/ROOTS new file mode 100644 index 0000000..8a4f5ea --- /dev/null +++ b/examples/ROOTS @@ -0,0 +1,4 @@ +scholarly/ +technical_report +math_exam/MathExam +math_exam/BAC2017 diff --git a/examples/technical_report/ROOT b/examples/technical_report/ROOT index 1bb42f9..e2490af 100644 --- a/examples/technical_report/ROOT +++ b/examples/technical_report/ROOT @@ -1,4 +1,4 @@ -session "TechnicalReport" = "HOL" + +session "TechnicalReport" = "Isabelle_DOF" + options [document = pdf, document_output = "output", quick_and_dirty = true] theories [document = false] "../../ontologies/scholarly_paper"