Diffusion Isabelle c51e1cef1eae

more scalable byte messages, notably for Scala functions in ML;
c51e1cef1eae
Actions

Tags

None

Subscribers

None

Description

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

Details

Provenance

Authored on

Parents

rISABELLE8c5eedb6c983: tuned comments;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEc51e1cef1eae: more scalable byte messages, notably for Scala functions in ML;.Jun 21 2022, 10:17 PM

Changes (8)

Path

Size

src/

Pure/

General/

PIDE/

byte_message.ML

protocol_command.ML

System/

isabelle_process.ML

isabelle_system.ML

rISABELLEc51e1cef1eae

src/Pure/General/bytes.ML

Loading...

src/Pure/General/socket_io.ML

Loading...

src/Pure/PIDE/byte_message.ML

Loading...

src/Pure/PIDE/protocol_command.ML

Loading...

src/Pure/System/isabelle_process.ML

Loading...

src/Pure/System/isabelle_system.ML

Loading...

src/Pure/System/scala.ML

Loading...

src/Pure/library.ML

Loading...