doc-src/antiquote_setup.ML

                 else hyper o enclose "\\mbox{\\isa{" "}}"))
         else error ("Bad " ^ kind ^ " " ^ quote name)
       end);
 
 fun entity_antiqs check markup kind =
- [(entity check markup kind NONE),
-  (entity check markup kind (SOME true)),
-  (entity check markup kind (SOME false))];
+ ((entity check markup kind NONE);
+  (entity check markup kind (SOME true));
+  (entity check markup kind (SOME false)));
 
 in
 
 val _ = entity_antiqs no_check "" "syntax";
 val _ = entity_antiqs (K (is_some o OuterKeyword.command_keyword)) "isacommand" "command";