diff -r 53dcc7454221 -r e2671e8c476f Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Sat Sep 02 17:15:12 2017 +0200
+++ b/Admin/Release/CHECKLIST	Sat Sep 02 17:21:52 2017 +0200
@@ -19,6 +19,10 @@
     src/Tools/jEdit/src/Isabelle.props
     src/Tools/jEdit/src-base/Isabelle_Base.props
 
+- check Isabelle version:
+    src/Tools/VSCode/extension/README.md
+    src/Tools/VSCode/extension/package.json
+
 - check funny base directory, e.g. "Test 中国";
 
 - check scalable fonts, e.g. src/Doc/Prog_Prove (NOTE: T1 encoding