Summary
- clarified screenshot;
- NEWS;
The file was modified | src/Tools/VSCode/extension/isabelle_vscode.png (diff) |
The file was modified | NEWS (diff) |
The file was modified | src/Tools/VSCode/extension/isabelle_vscode.png (diff) |
The file was modified | NEWS (diff) |