Diffusion Isabelle b4a9c907e062

more accurate error messages;
b4a9c907e062
Actions

Tags

None

Subscribers

None

Description

more accurate error messages;

Details

Provenance

Authored on

Parents

rISABELLE6a9bc04fd182: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEb4a9c907e062: more accurate error messages;.Dec 21 2022, 10:11 PM

makarius mentioned this in Blog Post: Support for interactive document preparation in PIDE.Dec 21 2022, 10:43 PM

Changes (3)

Path

Size

src/

Pure/

Thy/

document_build.scala

Tools/

build_job.scala

Tools/

jEdit/

src/

document_dockable.scala

rISABELLEb4a9c907e062

src/Pure/Thy/document_build.scala

Loading...

src/Pure/Tools/build_job.scala

Loading...

src/Tools/jEdit/src/document_dockable.scala

Loading...