Diffusion Isabelle f627ffab387b

support for Isabelle setup in pure Java;
f627ffab387b
Actions

Tags

None

Subscribers

None

Description

support for Isabelle setup in pure Java;

Details

Provenance

Authored on

Parents

rISABELLE0dd54d6c974a: tuned: prefer Java interfaces;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf627ffab387b: support for Isabelle setup in pure Java;.Jun 30 2021, 8:57 PM

Changes (21)

Path

Size

components/

components.sha1

General/

isabelle_env.scala

isabelle_system.scala

Environment.java

rISABELLEf627ffab387b

Admin/components/components.sha1

Loading...

Admin/components/main

Loading...

Admin/lib/Tools/build_setup

Loading...

src/Pure/General/file.scala

Loading...

src/Pure/System/bash.scala

Loading...

src/Pure/System/isabelle_env.scala

Loading...

src/Pure/System/isabelle_system.scala

Loading...

src/Pure/System/platform.scala

Loading...

src/Pure/build-jars

Loading...

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

Loading...