Diffusion Isabelle 91f02f224b80

basic setup for document build panel;
91f02f224b80
Actions

Tags

None

Subscribers

None

Description

basic setup for document build panel;

Details

Provenance

Authored on

Parents

rISABELLE4001a6ceb802: tuned, following hints by IntelliJ IDEA;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE91f02f224b80: basic setup for document build panel;.Aug 12 2022, 12:50 PM

Changes (10)

Path

Size

etc/

jedit_main/

dockables.scala

document_dockable.scala

rISABELLE91f02f224b80

etc/build.props

Loading...

src/Tools/jEdit/jedit_main/dockables.scala

Loading...

src/Tools/jEdit/jedit_main/dockables.xml

Loading...

src/Tools/jEdit/jedit_main/plugin.props

Loading...

src/Tools/jEdit/src/document_dockable.scala

Loading...

src/Tools/jEdit/src/isabelle.scala

Loading...