Diffusion Isabelle df12779c3ce8

more PIDE markup;
df12779c3ce8
Actions

Tags

None

Subscribers

None

Description

more PIDE markup;

Details

Provenance

Authored on

Parents

rISABELLEb2604cd4d131: recover library_index_content.template from c337c798f64c: required for…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEdf12779c3ce8: more PIDE markup;.Nov 3 2021, 2:26 PM

makarius mentioned this in rAFP49f5cc27cb2e: tuned signature, according to Isabelle/df12779c3ce8;.Nov 4 2021, 11:46 AM

Changes (8)

Path

Size

src/

HOL/

SPARK/

Tools/

Pure/

Isar/

PIDE/

command_span.scala

resources.scala

Thy/

rISABELLEdf12779c3ce8

src/HOL/SPARK/Tools/spark.scala

Loading...

src/Pure/Isar/keyword.ML

Loading...

src/Pure/PIDE/command_span.scala

Loading...

src/Pure/PIDE/markup.ML

Loading...

src/Pure/PIDE/protocol.ML

Loading...

src/Pure/PIDE/resources.ML

Loading...

src/Pure/PIDE/resources.scala

Loading...

src/Pure/Thy/thy_header.ML

Loading...