Diffusion Isabelle 03e78b35ebbc

more robust bootstrap: Isabelle-jEdit.shasum could be absent;
03e78b35ebbc
Actions

Tags

None

Subscribers

None

Description

more robust bootstrap: Isabelle-jEdit.shasum could be absent;

Details

Provenance

Authored on

Parents

rISABELLE43c534bba442: tuned whitespace (amending a4bffc0de967);

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE03e78b35ebbc: more robust bootstrap: Isabelle-jEdit.shasum could be absent;.Jan 3 2021, 12:11 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

scala_project.scala

rISABELLE03e78b35ebbc

src/Pure/Tools/scala_project.scala

Loading...