--- a/doc-src/antiquote_setup.ML Fri May 02 22:43:14 2008 +0200
+++ b/doc-src/antiquote_setup.ML Fri May 02 22:47:23 2008 +0200
@@ -150,7 +150,7 @@
|> (if markup = "" then I else enclose ("\\" ^ markup ^ "{") "}")
|> (if ! O.quotes then quote else I)
|> (if ! O.display then enclose "\\begin{isabelle}%\n" "%\n\\end{isabelle}"
- else enclose "\\isa{" "}"));
+ else enclose "\\mbox{\\isa{" "}}"));
fun entity markup index kind =
O.args (Scan.lift (Scan.optional (Args.parens Args.name) "" -- Args.name))