Diffusion Isabelle c9ec6f03ab91

more complete scala_project, including Isabelle/jEdit plugins;
c9ec6f03ab91
Actions

Tags

None

Subscribers

None

Description

more complete scala_project, including Isabelle/jEdit plugins;

Details

Provenance

Authored on

Parents

rISABELLE09821ca262d3: clarified directories;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEc9ec6f03ab91: more complete scala_project, including Isabelle/jEdit plugins;.Jul 17 2021, 9:52 PM

Changes (2)

Path

Size

src/

Pure/

Tools/

scala_project.scala

Tools/

jEdit/

src/

rISABELLEc9ec6f03ab91

src/Pure/Tools/scala_project.scala

Loading...

src/Tools/jEdit/src/main.scala

Loading...