prefer commands_accepted: fewer protocol messages;
94442fce40a5
Actions

Description

prefer commands_accepted: fewer protocol messages;

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (6)

Path

Size

src/

Pure/

PIDE/

rISABELLE94442fce40a5

src/Pure/PIDE/document.ML

src/Pure/PIDE/markup.ML

src/Pure/PIDE/markup.scala

src/Pure/PIDE/protocol.ML

src/Pure/PIDE/protocol.scala

src/Pure/PIDE/session.scala

prefer commands_accepted: fewer protocol messages;94442fce40a5Actions

Description

Details

Changes (6)

rISABELLE94442fce40a5

src/Pure/PIDE/document.ML

src/Pure/PIDE/markup.ML

src/Pure/PIDE/markup.scala

src/Pure/PIDE/protocol.ML

src/Pure/PIDE/protocol.scala

src/Pure/PIDE/session.scala

prefer commands_accepted: fewer protocol messages;
94442fce40a5
Actions