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/README.md
changeset 66221 e6b7edd12f05
parent 66218 a30bf1c755c1
child 66223 a6fdb22b0ce2 
--- a/src/Tools/VSCode/extension/README.md	Thu Jun 29 21:07:47 2017 +0200
+++ b/src/Tools/VSCode/extension/README.md	Thu Jun 29 21:09:39 2017 +0200
@@ -49,7 +49,7 @@
   * Preferred Color Theme: `Light+ (default light)`
 
   * Alternative Color Theme: `Dark+ (default dark)` – with restrictions: some color
-    combinations don't work out properly
+    combinations don't work out properly.
 
   * Recommended changes to default VSCode settings:
isabelle