clarified parsing vs. semantic errors;
f34f5c057c9e
Actions

Description

clarified parsing vs. semantic errors;

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (5)

Path

Size

src/

Pure/

Isar/

PIDE/

Thy/

rISABELLEf34f5c057c9e

src/Pure/Isar/keyword.scala

src/Pure/PIDE/command.scala

src/Pure/PIDE/resources.scala

src/Pure/Thy/thy_header.ML

src/Pure/Thy/thy_header.scala

clarified parsing vs. semantic errors;f34f5c057c9eActions

Description

Details

Changes (5)

rISABELLEf34f5c057c9e

src/Pure/Isar/keyword.scala

src/Pure/PIDE/command.scala

src/Pure/PIDE/resources.scala

src/Pure/Thy/thy_header.ML

src/Pure/Thy/thy_header.scala

clarified parsing vs. semantic errors;
f34f5c057c9e
Actions