# HG changeset patch # User wenzelm # Date 1483019005 -3600 # Node ID e022a69db531f302bc7248f1fb47bf39acddb84a # Parent 47c1e6b0886fc9cfe6e7698f8f870c402305c03e tuned comments; diff -r 47c1e6b0886f -r e022a69db531 src/Pure/General/file.ML --- a/src/Pure/General/file.ML Wed Dec 28 23:42:35 2016 +0100 +++ b/src/Pure/General/file.ML Thu Dec 29 14:43:25 2016 +0100 @@ -1,7 +1,7 @@ (* Title: Pure/General/file.ML - Author: Markus Wenzel, TU Muenchen + Author: Makarius -File system operations. +File-system operations. *) signature FILE = diff -r 47c1e6b0886f -r e022a69db531 src/Pure/General/file.scala --- a/src/Pure/General/file.scala Wed Dec 28 23:42:35 2016 +0100 +++ b/src/Pure/General/file.scala Thu Dec 29 14:43:25 2016 +0100 @@ -1,7 +1,7 @@ /* Title: Pure/General/file.scala Author: Makarius -File system operations. +File-system operations. */ package isabelle