Diffusion Isabelle a63072d875d1

proper error positions;
a63072d875d1
Actions

Tags

None

Subscribers

None

Description

proper error positions;

Details

Provenance

Authored on

Parents

rISABELLE1ca5623888bb: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEa63072d875d1: proper error positions;.May 27 2020, 4:04 PM

Changes (1)

Path

Size

src/

Pure/

System/

scala_compiler.ML

rISABELLEa63072d875d1

src/Pure/System/scala_compiler.ML

Loading...