Diffusion Isabelle 6205c5d4fadf

restrict report redirection to current node;
6205c5d4fadf
Actions

Tags

None

Subscribers

None

Description

restrict report redirection to current node;

Details

Provenance

Authored on

Parents

rISABELLE1cc74982d038: clarified parser;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE6205c5d4fadf: restrict report redirection to current node;.Nov 29 2020, 4:45 PM

Changes (2)

Path

Size

src/

Pure/

PIDE/

rISABELLE6205c5d4fadf

src/Pure/PIDE/command.scala

Loading...

src/Pure/PIDE/document.scala

Loading...