Diffusion Isabelle dd53bb198eb1

tuned signature: more uniform operations;
dd53bb198eb1
Actions

Tags

None

Subscribers

None

Description

tuned signature: more uniform operations;

Details

Provenance

Authored on

Parents

rISABELLEf88c239d1a83: tuned comments;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEdd53bb198eb1: tuned signature: more uniform operations;.Jan 6 2023, 4:43 PM

Changes (4)

Path

Size

src/

Pure/

PIDE/

Thy/

browser_info.scala

Tools/

build_job.scala

rISABELLEdd53bb198eb1

src/Pure/PIDE/document.scala

Loading...

src/Pure/Thy/bibtex.scala

Loading...

src/Pure/Thy/browser_info.scala

Loading...

src/Pure/Tools/build_job.scala

Loading...