Diffusion Isabelle b6bca0666c38

rebuild jedit with minimal patch for jdk-21, following SVN 25690;
b6bca0666c38
Actions

Tags

None

Subscribers

None

Description

rebuild jedit with minimal patch for jdk-21, following SVN 25690;

Details

Provenance

Authored on

Parents

rISABELLEd9b32243798f: clarified modules;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEb6bca0666c38: rebuild jedit with minimal patch for jdk-21, following SVN 25690;.Nov 20 2023, 3:55 PM

Changes (3)

Path

Size

Admin/

components/

components.sha1

src/

Tools/

jEdit/

patches/

extended_styles_brackets

rISABELLEb6bca0666c38

Admin/components/components.sha1

Loading...

Admin/components/main

Loading...

src/Tools/jEdit/patches/extended_styles_brackets

Loading...