Diffusion Isabelle 39e05601faeb

more accurate scala_project, based on build.props of components;
39e05601faeb
Actions

Tags

None

Subscribers

None

Description

more accurate scala_project, based on build.props of components;

Details

Provenance

Authored on

Parents

rISABELLE0701ff55780d: clarified build_props: empty module means no build;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE39e05601faeb: more accurate scala_project, based on build.props of components;.Jul 17 2021, 9:31 PM

Changes (6)

Path

Size

Admin/

components/

components.sha1

lib/

Tools/

src/

Pure/

Admin/

build_jedit.scala

Tools/

scala_project.scala

Tools/

Setup/

isabelle/

setup/

rISABELLE39e05601faeb

Admin/components/components.sha1

Loading...

Admin/components/main

Loading...

Admin/lib/Tools/build_setup

Loading...

src/Pure/Admin/build_jedit.scala

Loading...

src/Pure/Tools/scala_project.scala

Loading...

src/Tools/Setup/isabelle/setup/Build.java

Loading...