# HG changeset patch
# User wenzelm
# Date 1498852309 -7200
# Node ID b565a39627bbff8542a5198fe3a07ef167fec099
# Parent  88b8ef0b17fdc71fa6010f59186b56fd9f4f53de
clarified screenshot;

diff -r 88b8ef0b17fd -r b565a39627bb src/Tools/VSCode/extension/isabelle_vscode.png
Binary file src/Tools/VSCode/extension/isabelle_vscode.png has changed