Diffusion Isabelle 2e8af171887f

updated to jedit_build-20190717: support more brackets;
2e8af171887f
Actions

Tags

None

Subscribers

None

Description

updated to jedit_build-20190717: support more brackets;

Details

Provenance

Authored on

Parents

rISABELLE2b4c40722f0b: updated to isabelle_fonts-20190717;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius mentioned this in rISABELLE081fdd53003a: more brackets (see 2e8af171887f);.May 24 2020, 9:54 PM

Changes (7)

Path

Size

Admin/

components/

components.sha1

rISABELLE2e8af171887f

Admin/components/components.sha1

Loading...

Admin/components/main

Loading...

src/Tools/jEdit/patches/brackets

Loading...