Diffusion Isabelle f78a3be79ad1

updated documentation: HIDPI works smoothly thanks to FlatLaf;
f78a3be79ad1
Actions

Tags

None

Subscribers

None

Description

updated documentation: HIDPI works smoothly thanks to FlatLaf;

Details

Provenance

Authored on

Parents

rISABELLEc9a836122739: updated for release;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf78a3be79ad1: updated documentation: HIDPI works smoothly thanks to FlatLaf;.Jan 18 2021, 5:05 PM

Changes (7)

Path

Size

isabelle-jedit-hdpi.png

rISABELLEf78a3be79ad1

src/Doc/JEdit/JEdit.thy

Loading...

src/Doc/JEdit/document/isabelle-jedit-hdpi.png

Loading...

src/Doc/ROOT

Loading...