Diffusion Isabelle a5998396051e

more robust: defer error in sessions structure to build process;
a5998396051e
Actions

Tags

None

Subscribers

None

Description

more robust: defer error in sessions structure to build process;

Details

Provenance

Authored on

Parents

rISABELLEebf7babc05ce: merged, with minor edits: Admin/PLATFORMS, CONTRIBUTORS;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEa5998396051e: more robust: defer error in sessions structure to build process;.Jan 25 2021, 10:30 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_history.scala

rISABELLEa5998396051e

src/Pure/Admin/build_history.scala

Loading...