--- 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}
--- 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
--- 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