src/Pure/Isar/outer_syntax.ML

--- a/src/Pure/Isar/outer_syntax.ML	Fri Jun 30 17:51:56 2000 +0200
+++ b/src/Pure/Isar/outer_syntax.ML	Fri Jun 30 21:21:11 2000 +0200
@@ -222,6 +222,7 @@
   Toplevel.keep (fn state =>
     let val opt_thy = try Toplevel.theory_of state in
       help_outer_syntax () @
+      IsarOutput.help_antiquotations () @
       Method.help_methods opt_thy @
       Attrib.help_attributes opt_thy
       |> Pretty.chunks |> Pretty.writeln