Diffusion Isabelle 4ad322ee6025

clarified signature: support all arguments of Sessions.store();
4ad322ee6025
Actions

Tags

None

Subscribers

None

Description

clarified signature: support all arguments of Sessions.store();

Details

Provenance

Authored on

Parents

rISABELLE2d06b514b363: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE4ad322ee6025: clarified signature: support all arguments of Sessions.store();.Mar 7 2023, 12:21 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

rISABELLE4ad322ee6025

src/Pure/Tools/build.scala

Loading...