Diffusion Isabelle 1208ece65cca

more informative errors;
1208ece65cca
Actions

Tags

None

Subscribers

None

Description

more informative errors;

Details

Provenance

Authored on

Parents

rISABELLE7ac59361791e: clarified options;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE1208ece65cca: more informative errors;.Mar 29 2023, 9:28 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_log.scala

rISABELLE1208ece65cca

src/Pure/Admin/build_log.scala

Loading...