Summary
- updated package;
- provide --baseImagesUrl for VSCode extensions marketplace;
- tuned;
- updated package;
- tuned;
- added screenshot;
The file was modified | src/Tools/VSCode/extension/package.json (diff) |
The file was modified | src/Tools/VSCode/src/build_vscode.scala (diff) |
The file was modified | src/Tools/VSCode/extension/README.md (diff) |
The file was modified | src/Tools/VSCode/extension/package.json (diff) |
The file was modified | src/Tools/VSCode/extension/package.json (diff) |
The file was added | src/Tools/VSCode/extension/isabelle_vscode.png |
The file was modified | src/Tools/VSCode/extension/README.md (diff) |