--- a/src/Doc/Classes/Setup.thy Wed Mar 12 12:18:41 2014 +0100
+++ b/src/Doc/Classes/Setup.thy Wed Mar 12 14:17:13 2014 +0100
@@ -6,7 +6,6 @@
ML_file "../more_antiquote.ML"
setup {*
- Antiquote_Setup.setup #>
More_Antiquote.setup #>
Code_Target.set_default_code_width 74
*}