Diffusion Isabelle ce6e3bc34343

more informative position information;
ce6e3bc34343
Actions

Tags

None

Subscribers

None

Description

more informative position information;

Details

Provenance

Authored on

Parents

rISABELLE1a829342a2d3: clarified context tracing;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEce6e3bc34343: more informative position information;.May 10 2023, 8:30 PM

Changes (9)

Path

Size

src/

Pure/

Concurrent/

thread_position.ML

General/

Isar/

ML/

PIDE/

Thy/

Tools/

Haskell/

rISABELLEce6e3bc34343

src/Pure/Concurrent/thread_position.ML

Loading...

src/Pure/General/position.ML

Loading...

src/Pure/General/position.scala

Loading...

src/Pure/Isar/toplevel.ML

Loading...

src/Pure/ML/ml_compiler.ML

Loading...

src/Pure/PIDE/markup.ML

Loading...

src/Pure/PIDE/markup.scala

Loading...

src/Pure/Thy/thy_info.ML

Loading...

src/Tools/Haskell/Haskell.thy

Loading...