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;
authorwenzelm
Sat, 15 Aug 2015 19:00:04 +0200
changeset 60934 b63d0ff4b797
parent 60933 6d03e05ef041
child 60935 441c03582afa
tuned;
src/Pure/PIDE/session.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/PIDE/session.scala	Sat Aug 15 18:59:31 2015 +0200
+++ b/src/Pure/PIDE/session.scala	Sat Aug 15 19:00:04 2015 +0200
@@ -238,7 +238,7 @@
   def current_state(): Document.State = global_state.value
 
   def recent_syntax(name: Document.Node.Name): Prover.Syntax =
-    current_state().recent_finished.version.get_finished.nodes(name).syntax getOrElse
+    global_state.value.recent_finished.version.get_finished.nodes(name).syntax getOrElse
     resources.base_syntax
isabelle