Diffusion Isabelle 49463aef2ead

tuned signature, following isabelle.setup.Environment;
49463aef2ead
Actions

Tags

None

Subscribers

None

Description

tuned signature, following isabelle.setup.Environment;

Details

Provenance

Authored on

Parents

rISABELLE92e9fa289056: tuned signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE49463aef2ead: tuned signature, following isabelle.setup.Environment;.Oct 21 2022, 7:14 PM

Changes (1)

Path

Size

src/

Pure/

General/

rISABELLE49463aef2ead

src/Pure/General/utf8.scala

Loading...