Diffusion Isabelle 73c50ce808ed

basic setup of Isabelle setup tool --- pure Java, no dependencies;
73c50ce808ed
Actions

Tags

None

Subscribers

None

Description

basic setup of Isabelle setup tool --- pure Java, no dependencies;

Details

Provenance

Authored on

Parents

rISABELLE51429b78aadf: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE73c50ce808ed: basic setup of Isabelle setup tool --- pure Java, no dependencies;.May 11 2021, 9:57 PM

Changes (22)

Path

Size

codeStyleConfig.xml

rISABELLE73c50ce808ed

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...

src/Tools/Setup/src/META-INF/MANIFEST.MF

Loading...

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

Loading...