src/Doc/JEdit/Base.thy
changeset 56059 2390391584c2
parent 54354 4e6defdc24ac
child 61656 cfabbc083977
--- a/src/Doc/JEdit/Base.thy	Wed Mar 12 12:18:41 2014 +0100
+++ b/src/Doc/JEdit/Base.thy	Wed Mar 12 14:17:13 2014 +0100
@@ -3,6 +3,5 @@
 begin
 
 ML_file "../antiquote_setup.ML"
-setup Antiquote_Setup.setup
 
 end