Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
CodeTarget.target_code_width;
authorwenzelm
Tue, 03 Jun 2008 13:17:11 +0200
changeset 27065 f68aa7b5a0f3
parent 27064 267cab537760
child 27066 dbf97292e5fd
CodeTarget.target_code_width;
doc-src/IsarAdvanced/Classes/Thy/Classes.thy file | annotate | diff | comparison | revisions 
--- 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
isabelle