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.
tuned: more robust Isabelle symbols;
authorwenzelm
Sun, 09 Feb 2025 14:54:35 +0100
changeset 82125 f6460ae54866
parent 82124 1eda03781f76
child 82126 74e14c621d44
tuned: more robust Isabelle symbols;
src/Pure/Tools/profiling.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/profiling.scala	Sun Feb 09 14:54:23 2025 +0100
+++ b/src/Pure/Tools/profiling.scala	Sun Feb 09 14:54:35 2025 +0100
@@ -128,7 +128,7 @@
         "spaces_size%")
 
     def header: List[String] =
-      "session" :: header0.flatMap(a => List(a, "\u2211" + a))
+      "session" :: header0.flatMap(a => List(a, Symbol.decode("""\<Sum>""") + a))
   }
 
   final class Statistics private(
isabelle