1.1 --- a/doc-src/IsarAdvanced/Codegen/codegen.tex	Mon Oct 13 06:54:25 2008 +0200
     1.2 +++ b/doc-src/IsarAdvanced/Codegen/codegen.tex	Mon Oct 13 13:44:59 2008 +0200
     1.3 @@ -3,7 +3,6 @@
     1.4  
     1.5  \documentclass[12pt,a4paper,fleqn]{report}
     1.6  \usepackage{latexsym,graphicx}
     1.7 -\usepackage{listings}
     1.8  \usepackage[refpage]{nomencl}
     1.9  \usepackage{../../iman,../../extra,../../isar,../../proof}
    1.10  \usepackage{../../isabelle,../../isabellesym}
    1.11 @@ -13,7 +12,7 @@
    1.12  
    1.13  %% setup
    1.14  
    1.15 -% configuration
    1.16 +% hyphenation
    1.17  \hyphenation{Isabelle}
    1.18  \hyphenation{Isar}
    1.19