Diffusion Isabelle 55cb4271858b

less redundant markup reports;
55cb4271858b
Actions

Tags

None

Subscribers

None

Description

less redundant markup reports;

Details

Provenance

Authored on

Parents

rISABELLE48ff625687f5: more accurate context position reports;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE55cb4271858b: less redundant markup reports;.Apr 3 2020, 5:35 PM

Changes (13)

Path

Size

etc/

src/

Pure/

Isar/

proof_context.ML

ML/

PIDE/

Syntax/

syntax_phases.ML

System/

isabelle_process.ML

Tools/

context_position.ML

rISABELLE55cb4271858b

etc/options

Loading...

src/Pure/Isar/method.ML

Loading...

src/Pure/Isar/proof_context.ML

Loading...

src/Pure/Isar/token.ML

Loading...

src/Pure/ML/ml_compiler.ML

Loading...

src/Pure/PIDE/command.ML

Loading...

src/Pure/ROOT.ML

Loading...

src/Pure/Syntax/syntax_phases.ML

Loading...

src/Pure/System/isabelle_process.ML

Loading...

src/Pure/Tools/build.scala

Loading...

src/Pure/Tools/rail.ML

Loading...

src/Pure/context_position.ML

Loading...

src/Pure/skip_proof.ML

Loading...