Diffusion Isabelle 324c40205fc8

clarified errors: include stdout;
324c40205fc8
Actions

Tags

None

Subscribers

None

Description

clarified errors: include stdout;

Details

Provenance

Authored on

Parents

rISABELLEd61fd7aade69: clarified directory;

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLE324c40205fc8: clarified errors: include stdout;.Nov 7 2019, 11:00 AM

Changes (1)

Path

Size

src/

Pure/

Tools/

phabricator.scala

rISABELLE324c40205fc8

src/Pure/Tools/phabricator.scala

Loading...