changeset 59324 | f5f9993a168d |
parent 56061 | 564a7bee8652 |
child 61076 | bdc1e2f0a86a |
--- a/src/Doc/Classes/Setup.thy Fri Jan 09 08:36:59 2015 +0100 +++ b/src/Doc/Classes/Setup.thy Fri Jan 09 08:37:00 2015 +0100 @@ -5,9 +5,7 @@ ML_file "../antiquote_setup.ML" ML_file "../more_antiquote.ML" -setup {* - Code_Target.set_default_code_width 74 -*} +declare [[default_code_width = 74]] syntax "_alpha" :: "type" ("\<alpha>")