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.
shortened msg
authornipkow
Wed, 05 Jan 1994 19:27:19 +0100
changeset 212 b2cdb675ef44
parent 211 7ab45715c0a6
child 213 42f2b8a3581f
shortened msg
src/Pure/Thy/read.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/read.ML	Tue Jan 04 17:03:52 1994 +0100
+++ b/src/Pure/Thy/read.ML	Wed Jan 05 19:27:19 1994 +0100
@@ -249,13 +249,13 @@
        else
        (
          if thy_uptodate orelse thy_file = "" then ()
-         else (writeln ("Reading thy-file \"" ^ thyl ^ ".thy\"");
+         else (writeln ("Reading \"" ^ thyl ^ ".thy\"");
                read_thy thyl thy_file;
                use (out_name thyl)
               );
 
          if ml_file = "" then () 
-         else (writeln ("Reading ML-file \"" ^ thyl ^ ".ML\"");
+         else (writeln ("Reading \"" ^ thyl ^ ".ML\"");
                use ml_file);
 
          let val outstream = open_out ".tmp.ML"
isabelle