changeset 32980 | d556a0e04e33 |
parent 32845 | d2d0b9b1a69d |
child 33092 | c859019d3ac5 |
--- a/src/Pure/Isar/locale.ML Thu Oct 01 23:03:59 2009 +0200 +++ b/src/Pure/Isar/locale.ML Thu Oct 15 22:06:43 2009 +0200 @@ -427,7 +427,7 @@ in (case these_registrations thy name of [] => Pretty.str ("no interpretations") - | regs => Pretty.big_list "interpretations:" (map prt_reg regs)) + | regs => Pretty.big_list "interpretations:" (map prt_reg (rev regs))) |> Pretty.writeln end;