Diffusion Isabelle ff716ecb0805

put more resources into jedit_build component;
ff716ecb0805
Actions

Tags

None

Subscribers

None

Description

put more resources into jedit_build component;

Details

Provenance

Authored on

Parents

rISABELLEaf82097b4adc: more brackets (see f6b453449cc6);

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEff716ecb0805: put more resources into jedit_build component;.May 10 2021, 10:18 PM

makarius mentioned this in rISABELLE02351b514b34: proper jEdit.props (amending ff716ecb0805);.May 11 2021, 2:29 PM

Changes (18)

Path

Size

Admin/

components/

components.sha1

Pure/

Admin/

build_jedit.scala

General/

lib/

Tools/

isabelle-ml.xml

isabelle-news.xml

isabelle-options.xml

isabelle-root.xml

rISABELLEff716ecb0805

Admin/components/components.sha1

Loading...

Admin/components/main

Loading...

src/Pure/Admin/build_jedit.scala

Loading...

src/Pure/General/file.scala

Loading...

src/Pure/General/path.scala

Loading...

src/Tools/jEdit/lib/Tools/jedit

Loading...

src/Tools/jEdit/src/jEdit.props

Loading...

src/Tools/jEdit/src/modes/isabelle-ml.xml

Loading...

src/Tools/jEdit/src/modes/isabelle-news.xml

Loading...

src/Tools/jEdit/src/modes/isabelle-options.xml

Loading...

src/Tools/jEdit/src/modes/isabelle-root.xml

Loading...

src/Tools/jEdit/src/modes/isabelle.xml

Loading...

src/Tools/jEdit/src/modes/sml.xml

Loading...