Diffusion Isabelle a8c5ee444991

clarified modules and signatures;
a8c5ee444991
Actions

Tags

None

Subscribers

None

Description

clarified modules and signatures;

Details

Provenance

Authored on

Parents

rISABELLEc678e58cf999: back to scala-2.13.5: avoid problems with history in scala REPL;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEa8c5ee444991: clarified modules and signatures;.Jul 1 2021, 1:46 PM

Changes (6)

Path

Size

Admin/

components/

components.sha1

src/

Pure/

General/

System/

isabelle_system.scala

Tools/

Setup/

src/

isabelle/

setup/

Environment.java

rISABELLEa8c5ee444991

Admin/components/components.sha1

Loading...

Admin/components/main

Loading...

src/Pure/General/file.scala

Loading...

src/Pure/System/bash.scala

Loading...

src/Pure/System/isabelle_system.scala

Loading...

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

Loading...