Diffusion Isabelle 7e5102e11c5e

clarified messages;
7e5102e11c5e
Actions

Tags

None

Subscribers

None

Description

clarified messages;

Details

Provenance

Authored on

Parents

rISABELLE0d3224b3a92c: proper message;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE7e5102e11c5e: clarified messages;.Nov 19 2020, 10:05 PM

Changes (1)

Path

Size

src/

Pure/

Thy/

presentation.scala

rISABELLE7e5102e11c5e

src/Pure/Thy/presentation.scala

Loading...