Diffusion Isabelle f5d60c12deeb

more standard path output (despite platform_path from d55eb82ae77b);
f5d60c12deeb
Actions

Tags

None

Subscribers

None

Description

more standard path output (despite platform_path from d55eb82ae77b);

Details

Provenance

Authored on

Parents

rISABELLEd0937d55eb90: clarified errors;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf5d60c12deeb: more standard path output (despite platform_path from d55eb82ae77b);.Oct 10 2020, 9:19 PM

Changes (1)

Path

Size

src/

Pure/

System/

isabelle_system.scala

rISABELLEf5d60c12deeb

src/Pure/System/isabelle_system.scala

Loading...