From 78dbffe763b0b7d80891c71ab52e67d9302b3272 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Tue, 23 Jul 2019 07:51:27 +0100
Subject: [PATCH] Updated title.

---
 .../technical_report/Isabelle_DOF-Manual/00_Frontmatter.thy    | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/examples/technical_report/Isabelle_DOF-Manual/00_Frontmatter.thy b/examples/technical_report/Isabelle_DOF-Manual/00_Frontmatter.thy
index ec7a1ced..199904ee 100644
--- a/examples/technical_report/Isabelle_DOF-Manual/00_Frontmatter.thy
+++ b/examples/technical_report/Isabelle_DOF-Manual/00_Frontmatter.thy
@@ -7,7 +7,8 @@ open_monitor*[this::report]
 
 (*>*)
 
-title*[tit::title]\<open>The Isabelle/DOF User and Implementation Manual\<close> 
+title*[title::title]\<open>Isabelle/DOF\<close> 
+subtitle*[subtitle::subtitle]\<open>User and Implementation Manual\<close> 
 text*[adb:: author,
       email="\<open>a.brucker@exeter.ac.uk\<close>",
       orcid="\<open>0000-0002-6355-1200\<close>",