Summary
- always output proof state: there is only one output buffer in Isabelle/VSCode;
- updated package;
The file was modified | src/Tools/VSCode/src/server.scala (diff) |
The file was modified | src/Tools/VSCode/extension/package.json (diff) |
The file was modified | src/Tools/VSCode/src/server.scala (diff) |
The file was modified | src/Tools/VSCode/extension/package.json (diff) |