# HG changeset patch
# User clasohm
# Date 757281893 -3600
# Node ID 059e406442fdb6e737b00c63020173663d53668b
# Parent  0d624d1ba9ccce22fd9625d655c5c8bb79e4e76b
added "Reading thy-File" message

diff -r 0d624d1ba9cc -r 059e406442fd src/Pure/Thy/read.ML
--- a/src/Pure/Thy/read.ML	Thu Dec 30 10:18:23 1993 +0100
+++ b/src/Pure/Thy/read.ML	Thu Dec 30 21:04:53 1993 +0100
@@ -249,7 +249,8 @@
        else
        (
          if thy_uptodate orelse thy_file = "" then ()
-         else (read_thy thyl thy_file;
+         else (writeln ("Reading thy-file \"" ^ thyl ^ ".thy\"");
+               read_thy thyl thy_file;
                use (out_name thyl)
               );