# 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