src/Pure/Isar/runtime.ML

 
     fun exn_msgs context exn =
       if Exn.is_interrupt exn then []
       else
         (case Par_Exn.dest exn of
-          SOME exns => maps (exn_msgs context) exns
+          SOME exns => maps (exn_msgs context) (rev exns)
         | NONE =>
             (case exn of
               Exn.EXCEPTIONS exns => maps (exn_msgs context) exns
             | CONTEXT (ctxt, exn) => exn_msgs (SOME ctxt) exn
             | EXCURSION_FAIL (exn, loc) =>