From 46c51235e3dd4ba095262cb483bcc3185c469408 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Tue, 6 Nov 2018 09:31:01 +0000 Subject: [PATCH] Based all examples on session 'Functional-Automata'. --- examples/math_exam/MathExam/ROOT | 2 +- examples/scholarly/ROOT | 2 +- examples/technical_report/ROOT | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/examples/math_exam/MathExam/ROOT b/examples/math_exam/MathExam/ROOT index 5f54b2d7..08ccfc79 100644 --- a/examples/math_exam/MathExam/ROOT +++ b/examples/math_exam/MathExam/ROOT @@ -1,4 +1,4 @@ -session "MathExam" = "HOL" + +session "MathExam" = "Functional-Automata" + options [document = pdf, document_output = "output"] theories [document = false] (* Foo *) diff --git a/examples/scholarly/ROOT b/examples/scholarly/ROOT index e84d70d7..8bc53cc0 100644 --- a/examples/scholarly/ROOT +++ b/examples/scholarly/ROOT @@ -1,4 +1,4 @@ -session "IsaDofApplications" = Main + (* "Isabelle_DOF" + *) +session "IsaDofApplications" = "Functional-Automata" + options [document = pdf, document_output = "output", quick_and_dirty = true] theories [document = false] "../../ontologies/scholarly_paper" diff --git a/examples/technical_report/ROOT b/examples/technical_report/ROOT index e2490af0..151223e4 100644 --- a/examples/technical_report/ROOT +++ b/examples/technical_report/ROOT @@ -1,4 +1,4 @@ -session "TechnicalReport" = "Isabelle_DOF" + +session "TechnicalReport" = "Functional-Automata" + options [document = pdf, document_output = "output", quick_and_dirty = true] theories [document = false] "../../ontologies/scholarly_paper"