Summary
- updated package;
- tuned GUI;
- obsolete;
The file was modified | src/Tools/VSCode/extension/package.json (diff) |
The file was modified | src/Tools/VSCode/extension/src/preview.ts (diff) |
The file was removed | src/Tools/VSCode/extension/isabelle-symbols.json |