Diffusion Isabelle 649708f75c6f

more thorough database checks;
649708f75c6f
Actions

Tags

None

Subscribers

None

Description

more thorough database checks;

Details

Provenance

Authored on

Parents

rISABELLE9e5f8f6e58a0: more thorough treatment of build prefs, guarded by system option…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE649708f75c6f: more thorough database checks;.Mar 16 2023, 3:38 PM

Changes (1)

Path

Size

src/

Pure/

Thy/

rISABELLE649708f75c6f

src/Pure/Thy/sessions.scala

Loading...