Diffusion Isabelle 0e5339342998

clarified signature: prefer Export.Context;
0e5339342998
Actions

Tags

None

Subscribers

None

Description

clarified signature: prefer Export.Context;

Details

Provenance

Authored on

Parents

rISABELLEf49c4f160b84: clarified signature: find session_database within Session_Context.db_hierarchy;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE0e5339342998: clarified signature: prefer Export.Context;.Aug 6 2022, 5:28 PM

Changes (2)

Path

Size

src/

Pure/

Thy/

presentation.scala

Tools/

rISABELLE0e5339342998

src/Pure/Thy/presentation.scala

Loading...

src/Pure/Tools/build.scala

Loading...