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.
back to CodeTarget.code_width;
authorwenzelm
Fri, 13 Jun 2008 20:57:26 +0200
changeset 27189 1a9b9da1c0d7
parent 27188 e47b069cab35
child 27190 431f695fc865
back to CodeTarget.code_width;
doc-src/IsarAdvanced/Classes/Thy/Classes.thy file | annotate | diff | comparison | revisions 
--- 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
isabelle