Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. removed junk;
  2. some updates to README.md;
  3. clarified default settings;
  4. tuned whitespace;
  5. support Isabelle fonts via patch of vscode resources;
Changeset 75159:1994ee39e513 by wenzelm:
removed junk;
The file was modified src/Tools/VSCode/src/vscode_setup.scala (diff)
Changeset 75158:a2311e4441f0 by wenzelm:
some updates to README.md;
The file was modified src/Tools/VSCode/extension/README.md (diff)
Changeset 75157:d67ec542b5b5 by wenzelm:
clarified default settings;
The file was modified src/Tools/VSCode/src/vscode_setup.scala (diff)
Changeset 75156:09da7b15162b by wenzelm:
tuned whitespace;
The file was modified src/Tools/VSCode/src/vscode_setup.scala (diff)
Changeset 75155:0b6c43a87fa6 by wenzelm:
support Isabelle fonts via patch of vscode resources;
The file was modified src/Tools/VSCode/src/vscode_setup.scala (diff)