| changeset 27103 | d8549f4d900b |
| parent 27025 | c1f9fb015ea5 |
| child 27557 | 151731493264 |
--- a/doc-src/IsarAdvanced/Codegen/Thy/Codegen.thy Tue Jun 10 15:30:01 2008 +0200 +++ b/doc-src/IsarAdvanced/Codegen/Thy/Codegen.thy Tue Jun 10 15:30:06 2008 +0200 @@ -7,9 +7,7 @@ uses "../../../antiquote_setup.ML" begin -ML {* -CodeTarget.target_code_width := 74; -*} +ML {* CodeTarget.code_width := 74 *} (*>*)