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.
clarified;
authorwenzelm
Mon, 12 Jun 2017 10:51:30 +0200
changeset 66065 1494f3aa8194
parent 66064 5a00cec6bc82
child 66066 7ac97dea27d2
clarified;
src/Tools/VSCode/extension/src/preview.ts file | annotate | diff | comparison | revisions 
--- a/src/Tools/VSCode/extension/src/preview.ts	Mon Jun 12 10:48:26 2017 +0200
+++ b/src/Tools/VSCode/extension/src/preview.ts	Mon Jun 12 10:51:30 2017 +0200
@@ -11,7 +11,7 @@
 
 /* Uri information */
 
-const preview_uri_template = Uri.parse("isabelle-preview:Preview")
+const preview_uri_template = Uri.parse("isabelle-preview:")
 const preview_uri_scheme = preview_uri_template.scheme
 
 function encode_preview(document_uri: Uri | undefined): Uri | undefined
isabelle