Diffusion Isabelle 743a58b6b2c3

tuned: prefer Java interfaces;
743a58b6b2c3
Actions

Tags

None

Subscribers

None

Description

tuned: prefer Java interfaces;

Details

Provenance

Authored on

Parents

rISABELLE0ddb5de0506e: clarified signature: prefer Java interfaces;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE743a58b6b2c3: tuned: prefer Java interfaces;.Jun 30 2021, 12:15 PM

Changes (1)

Path

Size

src/

Pure/

System/

isabelle_env.scala

rISABELLE743a58b6b2c3

src/Pure/System/isabelle_env.scala

Loading...