Diffusion Isabelle 7926d2fc3c4c

back to more elementary Buffer.T -- less intermediate garbage;
7926d2fc3c4c
Actions

Tags

None

Subscribers

None

Description

back to more elementary Buffer.T -- less intermediate garbage;

Details

Provenance

Authored on

Parents

rISABELLE325247f32da9: unused;

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLE7926d2fc3c4c: back to more elementary Buffer.T -- less intermediate garbage;.Nov 2 2019, 1:37 PM

Changes (2)

Path

Size

src/

Pure/

General/

rISABELLE7926d2fc3c4c

src/Pure/General/buffer.ML

Loading...

src/Pure/General/file.ML

Loading...