Diffusion Isabelle a80fa14bccb8

more Isabelle/jEdit actions;
a80fa14bccb8
Actions

Tags

None

Subscribers

None

Description

more Isabelle/jEdit actions;

Details

Provenance

Authored on

Parents

rISABELLE5d62f797e40c: tuned signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEa80fa14bccb8: more Isabelle/jEdit actions;.Feb 29 2020, 5:16 PM

Changes (4)

Path

Size

src/

Tools/

jEdit/

src/

rISABELLEa80fa14bccb8

NEWS

Loading...

src/Tools/jEdit/src/actions.xml

Loading...

src/Tools/jEdit/src/isabelle.scala

Loading...

src/Tools/jEdit/src/jEdit.props

Loading...