Observe order of declaration when printing registrations.
authorballarin
Thu Oct 15 22:06:43 2009 +0200 (2009-10-15)
changeset 32980d556a0e04e33
parent 32848 484863ae9b98
child 32981 0114e04a0d64
Observe order of declaration when printing registrations.
src/Pure/Isar/locale.ML
     1.1 --- a/src/Pure/Isar/locale.ML	Thu Oct 01 23:03:59 2009 +0200
     1.2 +++ b/src/Pure/Isar/locale.ML	Thu Oct 15 22:06:43 2009 +0200
     1.3 @@ -427,7 +427,7 @@
     1.4    in
     1.5      (case these_registrations thy name of
     1.6          [] => Pretty.str ("no interpretations")
     1.7 -      | regs => Pretty.big_list "interpretations:" (map prt_reg regs))
     1.8 +      | regs => Pretty.big_list "interpretations:" (map prt_reg (rev regs)))
     1.9      |> Pretty.writeln
    1.10    end;
    1.11