Diffusion Isabelle 0ddb5de0506e

clarified signature: prefer Java interfaces;
0ddb5de0506e
Actions

Tags

None

Subscribers

None

Description

clarified signature: prefer Java interfaces;

Details

Provenance

Authored on

Parents

rISABELLE5d44c6a7bd7b: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE0ddb5de0506e: clarified signature: prefer Java interfaces;.Jun 30 2021, 11:35 AM

Changes (9)

Path

Size

src/

Pure/

General/

ML/

ml_process.scala

System/

isabelle_env.scala

isabelle_process.scala

isabelle_system.scala

Tools/

build_job.scala

rISABELLE0ddb5de0506e

src/Pure/General/path.scala

Loading...

src/Pure/General/ssh.scala

Loading...

src/Pure/ML/ml_process.scala

Loading...

src/Pure/System/bash.scala

Loading...

src/Pure/System/isabelle_env.scala

Loading...

src/Pure/System/isabelle_process.scala

Loading...

src/Pure/System/isabelle_system.scala

Loading...

src/Pure/System/progress.scala

Loading...

src/Pure/Tools/build_job.scala

Loading...