# HG changeset patch
# User haftmann
# Date 1223898299 -7200
# Node ID 8789a0abccaa68144eace059ec6d625eefff6c40
# Parent  e1659c30f48d6d18afdfaeab6fb51da575aee7e0
tuned

diff -r e1659c30f48d -r 8789a0abccaa doc-src/IsarAdvanced/Codegen/codegen.tex
--- 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}