Summary
- tuned;
- publish extension on Visual Studio Marketplace;
The file was modified | src/HOL/Library/Infinite_Set.thy (diff) |
The file was modified | src/Tools/VSCode/README.md (diff) |
The file was modified | src/Tools/VSCode/extension/package.json (diff) |
The file was modified | src/HOL/Library/Infinite_Set.thy (diff) |
The file was modified | src/Tools/VSCode/README.md (diff) |
The file was modified | src/Tools/VSCode/extension/package.json (diff) |