Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

updated package;
prefer immutable bindings;
tuned;
tuned;
updated to vscode-languageclient 3.0;
more thorough build;
clarified versions;

Changeset 65169:a8dfa258bf93 by wenzelm: updated package;
The file was modified	`src/Tools/VSCode/extension/package.json` (diff)
Changeset 65168:9eabc312a2a2 by wenzelm: prefer immutable bindings;
The file was modified	`src/Tools/VSCode/extension/src/decorations.ts` (diff)
The file was modified	`src/Tools/VSCode/extension/src/extension.ts` (diff)
Changeset 65167:ee569aac344b by wenzelm: tuned;
The file was modified	`src/Tools/VSCode/extension/src/extension.ts` (diff)
Changeset 65166:f8aafbf2b02e by wenzelm: tuned;
The file was modified	`src/HOL/Hahn_Banach/Hahn_Banach.thy` (diff)
Changeset 65165:d98ede9e5917 by wenzelm: updated to vscode-languageclient 3.0;
The file was modified	`src/Tools/VSCode/extension/package.json` (diff)
The file was modified	`src/Tools/VSCode/extension/src/extension.ts` (diff)
The file was modified	`src/Tools/VSCode/src/protocol.scala` (diff)
Changeset 65164:6cbb894181c8 by wenzelm: more thorough build;
The file was modified	`src/Tools/VSCode/src/build_vscode.scala` (diff)
Changeset 65163:d596a070f039 by wenzelm: clarified versions;
The file was modified	`src/Tools/VSCode/extension/package.json` (diff)