Diffusion Isabelle 31fbde3baa97

more systematic java-gui-setup, also for "isabelle jedit" command-line tool;
31fbde3baa97
Actions

Tags

None

Subscribers

None

Description

more systematic java-gui-setup, also for "isabelle jedit" command-line tool;

Details

Provenance

Authored on

Parents

rISABELLEaeba7bb4f4d4: updated to flatlaf-1.0-rc1;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE31fbde3baa97: more systematic java-gui-setup, also for "isabelle jedit" command-line tool;.Jan 19 2021, 2:04 PM

makarius mentioned this in rISABELLEd967f6643f5e: proper Isabelle environment (amending 31fbde3baa97);.Jan 30 2021, 10:12 PM

Changes (5)

Path

Size

src/

Pure/

Admin/

build_release.scala

Tools/

jEdit/

lib/

Tools/

rISABELLE31fbde3baa97

lib/scripts/java-gui-setup

Loading...

src/Pure/Admin/build_release.scala

Loading...

src/Tools/jEdit/lib/Tools/jedit

Loading...