doc-src/IsarAdvanced/Codegen/Thy/ROOT.ML

--- a/doc-src/IsarAdvanced/Codegen/Thy/ROOT.ML	Fri Oct 20 10:44:34 2006 +0200
+++ b/doc-src/IsarAdvanced/Codegen/Thy/ROOT.ML	Fri Oct 20 10:44:35 2006 +0200
@@ -1,4 +1,6 @@
 
 (* $Id$ *)
 
+CodegenSerializer.sml_code_width := 74;
+
 use_thy "Codegen";