Diffusion Isabelle e64428b6b170

more operations, notably for profiling;
e64428b6b170
Actions

Tags

None

Subscribers

None

Description

more operations, notably for profiling;

Details

Provenance

Authored on

Parents

rISABELLE81d553e9428d: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEe64428b6b170: more operations, notably for profiling;.Mar 28 2023, 11:16 PM

Changes (1)

Path

Size

src/

Pure/

Isar/

rISABELLEe64428b6b170

src/Pure/Isar/locale.ML

Loading...