Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Thy/thy_read.ML
changeset 5090 75ac9b451ae0
parent 5038 301c37df931d
child 5209 a69fe5a61b6c 
--- a/src/Pure/Thy/thy_read.ML	Fri Jun 26 15:16:14 1998 +0200
+++ b/src/Pure/Thy/thy_read.ML	Mon Jun 29 10:32:06 1998 +0200
@@ -267,7 +267,7 @@
              Use.use ml_file);
 
        (*Store theory again because it could have been redefined*)
-       use_text ("val _ = store_theory " ^ tname ^ ".thy;");
+       use_text false ("val _ = store_theory " ^ tname ^ ".thy;");
 
        (*Add theory to list of all loaded theories (for index.html)
          and add it to its parents' sub-charts*)
isabelle