Diffusion Isabelle 337e1b135d2f

clarified signature --- internal Cache.none;
337e1b135d2f
Actions

Tags

None

Subscribers

None

Description

clarified signature --- internal Cache.none;

Details

Provenance

Authored on

Parents

rISABELLEe15621aa8c72: tuned comments;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE337e1b135d2f: clarified signature --- internal Cache.none;.Jan 2 2021, 3:58 PM

Changes (11)

Path

Size

src/

Pure/

Admin/

build_log.scala

General/

properties.scala

PIDE/

Thy/

export_theory.scala

rISABELLE337e1b135d2f

src/Pure/Admin/build_log.scala

Loading...

src/Pure/General/bytes.scala

Loading...

src/Pure/General/cache.scala

Loading...

src/Pure/General/properties.scala

Loading...

src/Pure/General/xz.scala

Loading...

src/Pure/PIDE/session.scala

Loading...

src/Pure/PIDE/xml.scala

Loading...

src/Pure/Thy/export.scala

Loading...

src/Pure/Thy/export_theory.scala

Loading...

src/Pure/Thy/sessions.scala

Loading...

src/Pure/term.scala

Loading...