# HG changeset patch
# User wenzelm
# Date 1212491831 -7200
# Node ID f68aa7b5a0f3fa290841b83c2fe9d3ccb6bf1aa7
# Parent  267cab537760cd169aad80ced821bd1b40893772
CodeTarget.target_code_width;

diff -r 267cab537760 -r f68aa7b5a0f3 doc-src/IsarAdvanced/Classes/Thy/Classes.thy
--- a/doc-src/IsarAdvanced/Classes/Thy/Classes.thy	Tue Jun 03 12:38:39 2008 +0200
+++ b/doc-src/IsarAdvanced/Classes/Thy/Classes.thy	Tue Jun 03 13:17:11 2008 +0200
@@ -6,7 +6,7 @@
 begin
 
 ML {*
-CodeTarget.code_width := 74;
+CodeTarget.target_code_width := 74;
 *}
 
 syntax