Diffusion Isabelle 72a8fdfa185d

support more direct hash-consing via XML.Cache;
72a8fdfa185d
Actions

Tags

None

Subscribers

None

Description

support more direct hash-consing via XML.Cache;

Details

Provenance

Authored on

Parents

rISABELLE64157cae1ba4: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE72a8fdfa185d: support more direct hash-consing via XML.Cache;.Jan 2 2021, 8:56 PM

Changes (3)

Path

Size

src/

Pure/

General/

PIDE/

rISABELLE72a8fdfa185d

src/Pure/General/symbol.scala

Loading...

src/Pure/PIDE/xml.scala

Loading...

src/Pure/PIDE/yxml.scala

Loading...