Diffusion Isabelle aa36845ad5ad

discontinued obsolete Apple (deprecated);
aa36845ad5ad
Actions

Tags

None

Subscribers

None

Description

discontinued obsolete Apple (deprecated);

Details

Provenance

Authored on

Parents

rISABELLE8c213672f6f3: clarified component setup: exclude jar from active component, but use sources…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEaa36845ad5ad: discontinued obsolete Apple (deprecated);.Jul 18 2021, 1:41 PM

Changes (1)

Path

Size

src/

Tools/

GraphBrowser/

graphbrowser/

GraphBrowser.java

rISABELLEaa36845ad5ad

src/Tools/GraphBrowser/graphbrowser/GraphBrowser.java

Loading...