Diffusion Isabelle ff6b5e468d5f

clarified signature: support more generic server implementations;
ff6b5e468d5f
Actions

Tags

None

Subscribers

None

Description

clarified signature: support more generic server implementations;

Details

Provenance

Authored on

Parents

rISABELLE5f8f7746b4aa: tuned comments;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEff6b5e468d5f: clarified signature: support more generic server implementations;.Jan 14 2021, 8:47 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

rISABELLEff6b5e468d5f

src/Pure/Tools/server.scala

Loading...