Diffusion Isabelle 295aa95cbff9

unify error messages;
295aa95cbff9
Actions

Tags

None

Subscribers

None

Description

unify error messages;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rISABELLEbe5c078f5292: add file information to toml parse context and error messages;

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rISABELLE295aa95cbff9: unify error messages;.Fri, Nov 17, 10:11 AM

Changes (1)

Path

Size

src/

Pure/

General/

rISABELLE295aa95cbff9

src/Pure/General/toml.scala

Loading...