Diffusion Isabelle d3ba143a7ab8

prefer scalable byte strings;
d3ba143a7ab8
Actions

Tags

None

Subscribers

None

Description

prefer scalable byte strings;

Details

Provenance

Authored on

Parents

rISABELLEc51e1cef1eae: more scalable byte messages, notably for Scala functions in ML;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEd3ba143a7ab8: prefer scalable byte strings;.Tue, Jun 21, 11:05 PM

Changes (2)

Path

Size

src/

Pure/

PIDE/

System/

isabelle_system.ML

rISABELLEd3ba143a7ab8

src/Pure/PIDE/command.ML

Loading...

src/Pure/System/isabelle_system.ML

Loading...