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/package.json
changeset 64696 e991a4fab0dc
parent 64695 135313951082
child 64734 12558536d977 
--- a/src/Tools/VSCode/extension/package.json	Wed Dec 28 21:24:33 2016 +0100
+++ b/src/Tools/VSCode/extension/package.json	Wed Dec 28 23:24:18 2016 +0100
@@ -11,7 +11,7 @@
         ],
     "icon": "isabelle.png",
     "version": "0.1.0",
-    "publisher": "Makarius",
+    "publisher": "makarius",
     "license": "BSD-3-Clause",
     "repository": { "url": "http://isabelle.in.tum.de/repos/isabelle" },
     "engines": { "vscode": "^1.5.0" },
isabelle