diff -r 1b67b7b02395 -r 93d0af296c2f src/Pure/Isar/attrib.ML
--- a/src/Pure/Isar/attrib.ML	Wed Dec 09 18:28:28 2015 +0100
+++ b/src/Pure/Isar/attrib.ML	Wed Dec 09 18:45:46 2015 +0100
@@ -19,7 +19,6 @@
   val check_src: Proof.context -> Token.src -> Token.src
   val attribs: Token.src list context_parser
   val opt_attribs: Token.src list context_parser
-  val markup_extern: Proof.context -> string -> Markup.T * xstring
   val pretty_attribs: Proof.context -> Token.src list -> Pretty.T list
   val pretty_binding: Proof.context -> binding -> string -> Pretty.T list
   val attribute: Proof.context -> Token.src -> attribute