Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more robust: always override ISABELLE_IDENTIFIER from environment;
  2. "isabelle vscode" is regular user-space tool;
Changeset 75563:5bba3516ddb5 by wenzelm:
more robust: always override ISABELLE_IDENTIFIER from environment;
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 75562:e7e2285cf800 by wenzelm:
"isabelle vscode" is regular user-space tool;
The file was modified src/Pure/System/isabelle_tool.scala (diff)