Diffusion Isabelle 75b29d65228e

clarified component settings;
75b29d65228e
Actions

Tags

None

Subscribers

None

Description

clarified component settings;

Details

Provenance

Authored on

Parents

rISABELLE4d4c806cb7c8: clarified shasum: sources / resources within jar;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE75b29d65228e: clarified component settings;.Jul 8 2021, 4:27 PM

Changes (5)

Path

Size

Admin/

components/

components.sha1

src/

Pure/

Admin/

build_jedit.scala

Tools/

jEdit/

lib/

Tools/

src/

rISABELLE75b29d65228e

Admin/components/components.sha1

Loading...

Admin/components/main

Loading...

src/Pure/Admin/build_jedit.scala

Loading...

src/Tools/jEdit/lib/Tools/jedit

Loading...

src/Tools/jEdit/src/plugin.scala

Loading...