From 7c6a214e98a7c761cbb57712afff461f7be031cc Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Thu, 1 Aug 2019 20:50:48 +0100
Subject: [PATCH] Added running headers.

---
 .../technical_report/Isabelle_DOF-Manual/document/preamble.tex   | 1 +
 1 file changed, 1 insertion(+)

diff --git a/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex b/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
index ae953241..2a9c8568 100644
--- a/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
+++ b/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
@@ -36,6 +36,7 @@
 
 \newcommand{\dof}{DOF\xspace}
 
+\pagestyle{headings}
 
 \uppertitleback{
 Copyright \copyright{} 2019\phantom{--2019} University of Exeter, UK\\