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.
more robust treatment of non-UTF8 text files (cf. 3ed43cfc8b14), notably old log files in ISO-8859-15;
authorwenzelm
Wed, 26 Apr 2017 16:13:05 +0200
changeset 65589 f70c617e9c26
parent 65588 b0d8d97198b3
child 65590 3e7bf5e34e0b
more robust treatment of non-UTF8 text files (cf. 3ed43cfc8b14), notably old log files in ISO-8859-15;
src/Pure/General/file.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/file.scala	Wed Apr 26 15:55:40 2017 +0200
+++ b/src/Pure/General/file.scala	Wed Apr 26 16:13:05 2017 +0200
@@ -154,7 +154,7 @@
 
   /* read */
 
-  def read(file: JFile): String = Bytes.read(file).toString
+  def read(file: JFile): String = Bytes.read(file).text
   def read(path: Path): String = read(path.file)
isabelle