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/PIDE/protocol.ML
changeset 65478 7c40477e0a87
parent 65470 a0f49174dbeb
child 65532 febfd9f78bd4 
--- a/src/Pure/PIDE/protocol.ML	Thu Apr 13 12:27:57 2017 +0200
+++ b/src/Pure/PIDE/protocol.ML	Thu Apr 13 12:39:36 2017 +0200
@@ -23,7 +23,7 @@
       let
         val decode_table = YXML.parse_body #> let open XML.Decode in list (pair string string) end;
       in
-        Resources.set_session_base
+        Resources.init_session_base
           {default_qualifier = default_qualifier,
            global_theories = decode_table global_theories_yxml,
            loaded_theories = decode_table loaded_theories_yxml,
isabelle