Diffusion Isabelle 38ebf696fd0c

support for Mailman list servers;
38ebf696fd0c
Actions

Tags

None

Subscribers

None

Description

support for Mailman list servers;

Details

Provenance

Authored on

Parents

rISABELLE6345cce0e576: clarified output of "isabelle process";

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE38ebf696fd0c: support for Mailman list servers;.Nov 7 2020, 8:24 PM

Changes (6)

Path

Size

rISABELLE38ebf696fd0c

src/Pure/General/mailman.scala

Loading...

src/Pure/General/url.scala

Loading...

src/Pure/build-jars

Loading...