tuned signature: more operations;
12abaffb0346
Actions

Description

tuned signature: more operations;

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (5)

Path

Size

src/

Pure/

Admin/

General/

ML/

PIDE/

rISABELLE12abaffb0346

src/Pure/Admin/build_history.scala

src/Pure/General/bytes.scala

src/Pure/General/file.scala

src/Pure/ML/ml_heap.scala

src/Pure/PIDE/headless.scala

tuned signature: more operations;12abaffb0346Actions

Description

Details

Changes (5)

rISABELLE12abaffb0346

src/Pure/Admin/build_history.scala

src/Pure/General/bytes.scala

src/Pure/General/file.scala

src/Pure/ML/ml_heap.scala

src/Pure/PIDE/headless.scala

tuned signature: more operations;
12abaffb0346
Actions