src/Pure/Isar/outer_syntax.ML
changeset 9213 2651a4db8883
parent 9132 52286129faa5
child 9223 eb752c2fac22
     1.1 --- a/src/Pure/Isar/outer_syntax.ML	Fri Jun 30 17:51:56 2000 +0200
     1.2 +++ b/src/Pure/Isar/outer_syntax.ML	Fri Jun 30 21:21:11 2000 +0200
     1.3 @@ -222,6 +222,7 @@
     1.4    Toplevel.keep (fn state =>
     1.5      let val opt_thy = try Toplevel.theory_of state in
     1.6        help_outer_syntax () @
     1.7 +      IsarOutput.help_antiquotations () @
     1.8        Method.help_methods opt_thy @
     1.9        Attrib.help_attributes opt_thy
    1.10        |> Pretty.chunks |> Pretty.writeln