# HG changeset patch
# User wenzelm
# Date 1498852507 -7200
# Node ID 1a04946c41d6167096a43d237e9869f6a56b408b
# Parent  b565a39627bbff8542a5198fe3a07ef167fec099
tuned documentation;
updated package version;
updated screenshot reference;

diff -r b565a39627bb -r 1a04946c41d6 src/Tools/VSCode/extension/README.md
--- a/src/Tools/VSCode/extension/README.md	Fri Jun 30 21:51:49 2017 +0200
+++ b/src/Tools/VSCode/extension/README.md	Fri Jun 30 21:55:07 2017 +0200
@@ -16,7 +16,7 @@
 
 ## Screenshot
 
-![[Isabelle/VSCode]](http://isabelle.in.tum.de/repos/isabelle/raw-file/9fe05edaa351/src/Tools/VSCode/extension/isabelle_vscode.png)
+![[Isabelle/VSCode]](http://isabelle.in.tum.de/repos/isabelle/raw-file/b565a39627bb/src/Tools/VSCode/extension/isabelle_vscode.png)
 
 
 ## Notable Features
@@ -29,6 +29,9 @@
   * Implicit formal checking of theory files, using the *cursor position* of the
   active editor panel as indication for relevant spots.
 
+  * Text overview lane with formal status of prover commands (unprocessed,
+  running, error, warning).
+
   * Prover messages within the source text (errors/warnings and information
   messages).
 
@@ -55,7 +58,7 @@
 
 ## Requirements
 
-### Isabelle Installation
+### Isabelle/VSCode Installation
 
   * Download a recent Isabelle development snapshot from
   <http://isabelle.in.tum.de/devel/release_snapshot> or the particular version
@@ -68,7 +71,7 @@
 
   * Open the VSCode *Extensions* view and install the following:
 
-      + *Isabelle* (e.g. version 0.20).
+      + *Isabelle* (e.g. version 0.22).
 
       + *Prettify Symbols Mode* (important for display of Isabelle symbols).
 
@@ -106,11 +109,11 @@
   initialized and user settings are updated. Afterwards VSCode should know about
   `.thy` files (Isabelle theories) and `.ML` files (Isabelle/ML modules).
 
-  The Isabelle extension is initialized when the first Isabelle is opened. It
-  requires a few seconds to start up: a small popup window says *Welcome to
-  Isabelle*. If that fails, there might be something wrong with `isabelle.home`
-  from above, or the Isabelle distribution does not fit to the version of the
-  VSCode extension from the Marketplace.
+  The Isabelle extension is initialized when the first Isabelle file is opened.
+  It requires a few seconds to start up: a small popup window eventually says
+  *"Welcome to Isabelle ..."*. If that fails, there might be something wrong
+  with `isabelle.home` from above, or the Isabelle distribution does not fit to
+  the version of the VSCode extension from the Marketplace.
 
 
 ### Support for Isabelle symbols
@@ -183,3 +186,7 @@
   dimensions.
 
   * Lack of GUI panels for Sledgehammer, Query operations etc.
+
+  * Big theory files may cause problems to the VSCode rendering engine, since
+  messages and text decorations are applied to the text as a whole (cf. the
+  minimap view).
diff -r b565a39627bb -r 1a04946c41d6 src/Tools/VSCode/extension/package.json
--- a/src/Tools/VSCode/extension/package.json	Fri Jun 30 21:51:49 2017 +0200
+++ b/src/Tools/VSCode/extension/package.json	Fri Jun 30 21:55:07 2017 +0200
@@ -10,7 +10,7 @@
         "document preparation"
     ],
     "icon": "isabelle.png",
-    "version": "0.21.0",
+    "version": "0.22.0",
     "publisher": "makarius",
     "license": "MIT",
     "repository": {