--- a/doc-src/IsarAdvanced/Codegen/codegen.tex Mon Oct 13 06:54:25 2008 +0200
+++ b/doc-src/IsarAdvanced/Codegen/codegen.tex Mon Oct 13 13:44:59 2008 +0200
@@ -3,7 +3,6 @@
\documentclass[12pt,a4paper,fleqn]{report}
\usepackage{latexsym,graphicx}
-\usepackage{listings}
\usepackage[refpage]{nomencl}
\usepackage{../../iman,../../extra,../../isar,../../proof}
\usepackage{../../isabelle,../../isabellesym}
@@ -13,7 +12,7 @@
%% setup
-% configuration
+% hyphenation
\hyphenation{Isabelle}
\hyphenation{Isar}