Diffusion Isabelle bef32cb5d26b

override existing action, to retain menu item;
bef32cb5d26b
Actions

Tags

None

Subscribers

None

Description

override existing action, to retain menu item;

Details

Provenance

Authored on

Parents

rISABELLE32edc2b4e243: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEbef32cb5d26b: override existing action, to retain menu item;.Jan 4 2021, 9:02 PM

Changes (4)

Path

Size

src/

Tools/

jEdit/

etc/

src/

rISABELLEbef32cb5d26b

src/Tools/jEdit/etc/options

Loading...

src/Tools/jEdit/src/actions.xml

Loading...

src/Tools/jEdit/src/isabelle.scala

Loading...

src/Tools/jEdit/src/jEdit.props

Loading...