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.
proper context for loading Pure;
authorwenzelm
Wed, 01 Apr 2020 12:56:19 +0200
changeset 71640 494704309099
parent 71639 ec84f542e411
child 71641 c1409b9c2b22
proper context for loading Pure;
src/Pure/System/isabelle_process.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/System/isabelle_process.ML	Tue Mar 31 22:27:02 2020 +0200
+++ b/src/Pure/System/isabelle_process.ML	Wed Apr 01 12:56:19 2020 +0200
@@ -117,8 +117,6 @@
 
     val _ = Output.physical_stderr Symbol.STX;
 
-    val _ = Context.put_generic_context NONE;
-
 
     (* streams *)
isabelle