# HG changeset patch
# User wenzelm
# Date 1431891874 -7200
# Node ID 410115884a92df9abda11173969addfbf84842c4
# Parent  b4f1a0a701ae39e1ed9e39dd9bf9a2e43cca9e4a
tuned;

diff -r b4f1a0a701ae -r 410115884a92 src/Doc/Isar_Ref/Document_Preparation.thy
--- a/src/Doc/Isar_Ref/Document_Preparation.thy	Sat May 16 12:05:52 2015 +0200
+++ b/src/Doc/Isar_Ref/Document_Preparation.thy	Sun May 17 21:44:34 2015 +0200
@@ -81,7 +81,7 @@
 \<close>
 
 
-section \<open>Document Antiquotations \label{sec:antiq}\<close>
+section \<open>Document antiquotations \label{sec:antiq}\<close>
 
 text \<open>
   \begin{matharray}{rcl}
diff -r b4f1a0a701ae -r 410115884a92 src/Doc/Isar_Ref/Preface.thy
--- a/src/Doc/Isar_Ref/Preface.thy	Sat May 16 12:05:52 2015 +0200
+++ b/src/Doc/Isar_Ref/Preface.thy	Sun May 17 21:44:34 2015 +0200
@@ -2,8 +2,6 @@
 imports Base Main
 begin
 
-chapter \<open>Preface\<close>
-
 text \<open>
   The \emph{Isabelle} system essentially provides a generic
   infrastructure for building deductive systems (programmed in
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