Diffusion Isabelle 4e6b31ed7197

clarified signature: avoid tmp file;
4e6b31ed7197
Actions

Tags

None

Subscribers

None

Description

clarified signature: avoid tmp file;

Details

Provenance

Authored on

Parents

rISABELLE1aa92bc4d356: clarified signature for Scala functions;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE4e6b31ed7197: clarified signature: avoid tmp file;.Apr 12 2021, 6:29 PM

Changes (11)

Path

Size

src/

Pure/

Admin/

build_csdp.scala

build_jcef.scala

build_spass.scala

build_sqlite.scala

build_verit.scala

components.scala

PIDE/

System/

isabelle_system.ML

isabelle_system.scala

Tools/

phabricator.scala

rISABELLE4e6b31ed7197

src/Pure/Admin/build_csdp.scala

Loading...

src/Pure/Admin/build_e.scala

Loading...

src/Pure/Admin/build_jcef.scala

Loading...

src/Pure/Admin/build_spass.scala

Loading...

src/Pure/Admin/build_sqlite.scala

Loading...

src/Pure/Admin/build_verit.scala

Loading...

src/Pure/Admin/components.scala

Loading...

src/Pure/PIDE/command.ML

Loading...

src/Pure/System/isabelle_system.ML

Loading...

src/Pure/System/isabelle_system.scala

Loading...

src/Pure/Tools/phabricator.scala

Loading...