--- a/doc-src/Codegen/codegen.tex Tue Mar 03 11:00:51 2009 +0100
+++ b/doc-src/Codegen/codegen.tex Tue Mar 03 13:20:53 2009 +0100
@@ -1,5 +1,5 @@
-\documentclass[12pt,a4paper,fleqn]{report}
+\documentclass[12pt,a4paper,fleqn]{article}
\usepackage{latexsym,graphicx}
\usepackage[refpage]{nomencl}
\usepackage{../iman,../extra,../isar,../proof}
@@ -23,7 +23,7 @@
\maketitle
\begin{abstract}
- This tutorial gives an introduction to a generic code generator framework in Isabelle
+ \noindent This tutorial gives an introduction to a generic code generator framework in Isabelle
for generating executable code in functional programming languages from logical
specifications in Isabelle/HOL.
\end{abstract}