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/Tools/VSCode/extension/src/extension.ts
changeset 66211 100c9c997e2b
parent 66138 f7ef4c50b747
child 66215 9a8b6b86350c 
--- a/src/Tools/VSCode/extension/src/extension.ts	Wed Jun 28 14:17:05 2017 +0200
+++ b/src/Tools/VSCode/extension/src/extension.ts	Thu Jun 29 11:36:25 2017 +0200
@@ -107,7 +107,8 @@
     context.subscriptions.push(
       commands.registerCommand("isabelle.state", uri => state_panel.init(uri)),
       commands.registerCommand("_isabelle.state-locate", state_panel.locate),
-      commands.registerCommand("_isabelle.state-update", state_panel.update))
+      commands.registerCommand("_isabelle.state-update", state_panel.update),
+      commands.registerCommand("_isabelle.state-auto-update", state_panel.auto_update))
 
     language_client.onReady().then(() => state_panel.setup(context, language_client))
isabelle