# HG changeset patch
# User desharna
# Date 1636703505 -3600
# Node ID 8362a5b2c2dda1a04544e0a7210a514f63571b83
# Parent  6cb700c7778604ad4f47affeb34c76ad2e66a747
added padding to Mirabelle's output

diff -r 6cb700c77786 -r 8362a5b2c2dd src/HOL/Tools/Mirabelle/mirabelle.scala
--- a/src/HOL/Tools/Mirabelle/mirabelle.scala	Fri Nov 12 00:28:00 2021 +0100
+++ b/src/HOL/Tools/Mirabelle/mirabelle.scala	Fri Nov 12 08:51:45 2021 +0100
@@ -87,7 +87,7 @@
                     Export.explode_name(args.name) match {
                       case List("mirabelle", action, "finalize") => action + " finalize  "
                       case List("mirabelle", action, "goal", goal_name, line, offset) =>
-                        action + " goal." + goal_name + " " + args.theory_name + " " +
+                        action + " goal." + String.format("%-5s", goal_name) + " " + args.theory_name + " " +
                           line + ":" + offset + "  "
                       case _ => ""
                     }