Diffusion Isabelle 9a2958ec9e08

updated links;
9a2958ec9e08
Actions

Tags

None

Subscribers

None

Description

updated links;

Details

Provenance

Authored on

Parents

rISABELLE115a47a103aa: added Apache Commons Lang + Text: not particularly exciting, but provides…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE9a2958ec9e08: updated links;.Dec 13 2021, 11:19 AM

Changes (2)

Path

Size

src/

Doc/

JEdit/

System/

rISABELLE9a2958ec9e08

src/Doc/JEdit/JEdit.thy

Loading...

src/Doc/System/Server.thy

Loading...