Diffusion Isabelle 3b4bbc5b7c46

tuned error message;
3b4bbc5b7c46
Actions

Tags

None

Subscribers

None

Description

tuned error message;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rISABELLEcefe819c5980: more NEWS;

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rISABELLE3b4bbc5b7c46: tuned error message;.Jul 14 2023, 9:32 AM

Changes (1)

Path

Size

src/

Pure/

General/

rISABELLE3b4bbc5b7c46

src/Pure/General/toml.scala

Loading...