HomeIsabelle/Phabricator
Diffusion Isabelle 48ff625687f5

more accurate context position reports;
48ff625687f5
Actions

Description

more accurate context position reports;

Details

Provenance
makariusAuthored on
Parents
rISABELLE88dfbc382a3d: clarified signature;
Branches
Unknown
Tags
Unknown

Changes (8)

PathSize
src/
Pure/
General/
Isar/
PIDE/
Thy/
Tools/

rISABELLE48ff625687f5

View Options

src/Pure/General/name_space.ML

Loading...
View Options

src/Pure/Isar/proof_context.ML

Loading...
View Options

src/Pure/Isar/specification.ML

Loading...
View Options

src/Pure/PIDE/document.ML

Loading...
View Options

src/Pure/Thy/thy_info.ML

Loading...
View Options

src/Pure/Tools/rail.ML

Loading...
View Options

src/Pure/context_position.ML

Loading...
View Options

src/Pure/theory.ML

Loading...