# HG changeset patch
# User wenzelm
# Date 1213383446 -7200
# Node ID 1a9b9da1c0d712607468ee6f65e3aa3fa41b1685
# Parent  e47b069cab351d5d21968f1d8b0f62de42b118d0
back to CodeTarget.code_width;

diff -r e47b069cab35 -r 1a9b9da1c0d7 doc-src/IsarAdvanced/Classes/Thy/Classes.thy
--- a/doc-src/IsarAdvanced/Classes/Thy/Classes.thy	Fri Jun 13 15:22:07 2008 +0200
+++ b/doc-src/IsarAdvanced/Classes/Thy/Classes.thy	Fri Jun 13 20:57:26 2008 +0200
@@ -6,7 +6,7 @@
 begin
 
 ML {*
-CodeTarget.target_code_width := 74;
+CodeTarget.code_width := 74;
 *}
 
 syntax