Diffusion Isabelle 4b908e70d642

copy jEdit sources instead of jar, for better browsing experience;
4b908e70d642
Actions

Tags

None

Subscribers

None

Description

copy jEdit sources instead of jar, for better browsing experience;

Details

Provenance

Authored on

Parents

rISABELLEabe3c309998b: proper option;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE4b908e70d642: copy jEdit sources instead of jar, for better browsing experience;.Mar 7 2020, 12:15 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

scala_project.scala

rISABELLE4b908e70d642

src/Pure/Tools/scala_project.scala

Loading...