Diffusion Isabelle 5bba3516ddb5

more robust: always override ISABELLE_IDENTIFIER from environment;
5bba3516ddb5
Actions

Tags

None

Subscribers

None

Description

more robust: always override ISABELLE_IDENTIFIER from environment;

Details

Provenance

Authored on

Parents

rISABELLEe7e2285cf800: "isabelle vscode" is regular user-space tool;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE5bba3516ddb5: more robust: always override ISABELLE_IDENTIFIER from environment;.Jun 15 2022, 4:55 PM

Changes (1)

Path

Size

src/

Pure/

System/

isabelle_system.scala

rISABELLE5bba3516ddb5

src/Pure/System/isabelle_system.scala

Loading...