Diffusion Isabelle d1776c5ddc93

more operations: use proper constants;
d1776c5ddc93
Actions

Tags

None

Subscribers

None

Description

more operations: use proper constants;

Details

Provenance

Authored on

Parents

rISABELLE7d23555fda83: proper session_options (amending da13da82f6f9);

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEd1776c5ddc93: more operations: use proper constants;.Jan 14 2023, 7:47 PM

Changes (1)

Path

Size

src/

Pure/

PIDE/

rISABELLEd1776c5ddc93

src/Pure/PIDE/markup.scala

Loading...