Diffusion Isabelle 68f0bd0c8e87

more informative error;
68f0bd0c8e87
Actions

Tags

None

Subscribers

None

Description

more informative error;
tuned;

Details

Provenance

Authored on

Parents

rISABELLEbe9b73dfd3e0: added lemmas

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE68f0bd0c8e87: more informative error;.Jan 20 2021, 10:20 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_history.scala

rISABELLE68f0bd0c8e87

src/Pure/Admin/build_history.scala

Loading...