Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned;
  2. publish extension on Visual Studio Marketplace;
Changeset 64697:47c1e6b0886f by wenzelm:
tuned;
The file was modified src/HOL/Library/Infinite_Set.thy (diff)
Changeset 64696:e991a4fab0dc by wenzelm:
publish extension on Visual Studio Marketplace;
The file was modified src/Tools/VSCode/README.md (diff)
The file was modified src/Tools/VSCode/extension/package.json (diff)