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
Thu, 29 Jun 2017 21:09:39 +0200
changeset 66221 e6b7edd12f05
parent 66220 68671cc5d40a
child 66222 186069cfb9ba
tuned;
src/Tools/VSCode/extension/README.md file | annotate | diff | comparison | revisions 
--- 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