Diffusion Isabelle 46d4ebc2582c

reactivate emerging tool after release (see 322f2e2799a7);
46d4ebc2582c
Actions

Tags

None

Subscribers

None

Description

reactivate emerging tool after release (see 322f2e2799a7);

Details

Provenance

Authored on

Parents

rISABELLEfc35dc967344: separate out definition of bound to avoid spurious sort hypotheses (by Jan van…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE46d4ebc2582c: reactivate emerging tool after release (see 322f2e2799a7);.Oct 28 2022, 1:15 PM

Changes (1)

Path

Size

src/

Tools/

jEdit/

jedit_main/

rISABELLE46d4ebc2582c

src/Tools/jEdit/jedit_main/plugin.props

Loading...