From 5754bb4adc8e948d703df109641b41d2a2279be4 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Wed, 17 May 2023 09:17:17 +0200 Subject: [PATCH] Added chapter AFP and timeout. --- Isabelle_DOF-Example-I/ROOT | 4 +++- Isabelle_DOF-Example-II/ROOT | 6 ++++-- 2 files changed, 7 insertions(+), 3 deletions(-) diff --git a/Isabelle_DOF-Example-I/ROOT b/Isabelle_DOF-Example-I/ROOT index c616c506..d7b8ff98 100644 --- a/Isabelle_DOF-Example-I/ROOT +++ b/Isabelle_DOF-Example-I/ROOT @@ -1,5 +1,7 @@ +chapter AFP + session "Isabelle_DOF-Example-I" (AFP) = "Isabelle_DOF" + - options [document = pdf, document_output = "output", document_build = dof] + options [document = pdf, document_output = "output", document_build = dof, timeout = 300] theories IsaDofApplications document_files diff --git a/Isabelle_DOF-Example-II/ROOT b/Isabelle_DOF-Example-II/ROOT index 28d19984..6f549ef7 100644 --- a/Isabelle_DOF-Example-II/ROOT +++ b/Isabelle_DOF-Example-II/ROOT @@ -1,5 +1,7 @@ -session "Isabelle_DOF-Example-II" = "Isabelle_DOF" + - options [document = pdf, document_output = "output", document_build = dof] +chapter AFP + +session "Isabelle_DOF-Example-II" (AFP) = "Isabelle_DOF" + + options [document = pdf, document_output = "output", document_build = dof, timeout = 300] theories "paper" document_files