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.
tuned tmp file name;
authorwenzelm
Wed, 17 Dec 1997 15:43:22 +0100
changeset 4429 4bc296026b22
parent 4428 5c26253b8a2e
child 4430 b2c1cf960c53
tuned tmp file name;
src/Pure/Thy/thy_read.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/thy_read.ML	Wed Dec 17 14:57:26 1997 +0100
+++ b/src/Pure/Thy/thy_read.ML	Wed Dec 17 15:43:22 1997 +0100
@@ -49,7 +49,7 @@
        
 
 (*Make name of the TextIO.output ML file for a theory *)
-fun out_name tname = File.tmp_name (tname ^ ".thy.ML");
+fun out_name tname = File.tmp_name (tname ^ "_thy.ML");
 
 
 (*Read a file specified by thy_file containing theory tname*)
isabelle