
diff -r b4f1a0a701ae -r 410115884a92 src/Doc/Isar_Ref/document/root.tex
--- a/src/Doc/Isar_Ref/document/root.tex	Sat May 16 12:05:52 2015 +0200
+++ b/src/Doc/Isar_Ref/document/root.tex	Sun May 17 21:44:34 2015 +0200
@@ -59,7 +59,8 @@
 \maketitle 
 
 \pagenumbering{roman}
-{\def\isamarkupchapter#1{\chapter*{#1}}\input{Preface.tex}}
+\chapter*{Preface}
+\input{Preface.tex}
 \tableofcontents
 \clearfirst
 




