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 message;
authorwenzelm
Wed, 08 Apr 2020 20:22:50 +0200
changeset 71738 3d514ab74161
parent 71737 7ff701556063
child 71739 c0bc99aad936
tuned message;
src/Pure/Thy/file_format.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/file_format.scala	Wed Apr 08 14:52:54 2020 +0200
+++ b/src/Pure/Thy/file_format.scala	Wed Apr 08 20:22:50 2020 +0200
@@ -56,7 +56,7 @@
 trait File_Format extends Isabelle_System.Service
 {
   def format_name: String
-  override def toString: String = format_name
+  override def toString: String = "File_Format(" + format_name + ")"
 
   def file_ext: String
   def detect(name: String): Boolean = name.endsWith("." + file_ext)
isabelle