Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added Isabelle identification to Mirabelle output
authordesharna
Wed, 09 Feb 2022 16:39:55 +0100
changeset 75070 500a668f3ef5
parent 75069 455d886009b1
child 75071 e93ebbb71c1f
added Isabelle identification to Mirabelle output
src/HOL/Tools/Mirabelle/mirabelle.scala file | annotate | diff | comparison | revisions 
--- 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)
isabelle