# HG changeset patch
# User desharna
# Date 1644421195 -3600
# Node ID 500a668f3ef5f4643cb45e15ba35e4512b121d8d
# Parent  455d886009b127b5d3ad9e8d48bdc6f9f695b535
added Isabelle identification to Mirabelle output

diff -r 455d886009b1 -r 500a668f3ef5 src/HOL/Tools/Mirabelle/mirabelle.scala
--- a/src/HOL/Tools/Mirabelle/mirabelle.scala	Wed Feb 09 14:52:05 2022 +0100
+++ b/src/HOL/Tools/Mirabelle/mirabelle.scala	Wed Feb 09 16:39:55 2022 +0100
@@ -66,7 +66,7 @@
           ("mirabelle_output_dir=" + output_dir.implode)
 
 
-      progress.echo("Running Mirabelle ...")
+      progress.echo("Running Mirabelle on " + Isabelle_System.identification() + "...")
 
       val store = Sessions.store(build_options)