Diffusion Isabelle f93f0597f4fb

clarified signature: absorb XZ.Cache into XML.Cache;
f93f0597f4fb
Actions

Tags

None

Subscribers

None

Description

clarified signature: absorb XZ.Cache into XML.Cache;

Details

Provenance

Authored on

Parents

rISABELLE72a8fdfa185d: support more direct hash-consing via XML.Cache;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf93f0597f4fb: clarified signature: absorb XZ.Cache into XML.Cache;.Jan 2 2021, 10:22 PM

Changes (17)

Path

Size

src/

Pure/

Admin/

build_log.scala

build_status.scala

General/

properties.scala

ML/

ml_statistics.scala

PIDE/

System/

isabelle_process.scala

Thy/

export_theory.scala

Tools/

build_job.scala

rISABELLEf93f0597f4fb

src/Pure/Admin/build_log.scala

Loading...

src/Pure/Admin/build_status.scala

Loading...

src/Pure/General/cache.scala

Loading...

src/Pure/General/properties.scala

Loading...

src/Pure/ML/ml_statistics.scala

Loading...

src/Pure/PIDE/command.scala

Loading...

src/Pure/PIDE/document.scala

Loading...

src/Pure/PIDE/prover.scala

Loading...

src/Pure/PIDE/session.scala

Loading...

src/Pure/PIDE/xml.scala

Loading...

src/Pure/System/isabelle_process.scala

Loading...

src/Pure/Thy/export.scala

Loading...

src/Pure/Thy/export_theory.scala

Loading...

src/Pure/Thy/sessions.scala

Loading...

src/Pure/Tools/build_job.scala

Loading...

src/Pure/Tools/debugger.scala

Loading...

src/Pure/term.scala

Loading...