Diffusion Isabelle 8cc891183484

clarified Isabelle/Java/Scala project setup;
8cc891183484
Actions

Tags

None

Subscribers

None

Description

clarified Isabelle/Java/Scala project setup;

Details

Provenance

Authored on

Parents

rISABELLEf627ffab387b: support for Isabelle setup in pure Java;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE8cc891183484: clarified Isabelle/Java/Scala project setup;.Jun 30 2021, 9:30 PM

Changes (17)

Path

Size

Pure/

Tools/

scala_project.scala

codeStyleConfig.xml

rISABELLE8cc891183484

src/Pure/Tools/scala_project.scala

Loading...

src/Tools/Setup/.idea/.name

Loading...

src/Tools/Setup/.idea/artifacts/Setup_jar.xml

Loading...

src/Tools/Setup/.idea/codeStyles/Project.xml

Loading...

src/Tools/Setup/.idea/codeStyles/codeStyleConfig.xml

Loading...

src/Tools/Setup/.idea/misc.xml

Loading...

src/Tools/Setup/.idea/modules.xml

Loading...

src/Tools/Setup/.idea/sbt.xml

Loading...

src/Tools/Setup/.idea/vcs.xml

Loading...

src/Tools/Setup/.idea/workspace.xml

Loading...

src/Tools/Setup/Setup.iml

Loading...