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