Diffusion Isabelle 5c7652e9bc01

provide Session.init_time as reference point for diagnostic messages;
5c7652e9bc01
Actions

Tags

None

Subscribers

None

Description

provide Session.init_time as reference point for diagnostic messages;

Details

Provenance

Authored on

Parents

rISABELLE287c3adcdcd6: afford more reactive consolidation;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE5c7652e9bc01: provide Session.init_time as reference point for diagnostic messages;.Nov 6 2022, 8:44 PM

makarius mentioned this in rISABELLE7d7786585ab0: more diagnostic operations (see also 5c7652e9bc01);.Feb 5 2023, 8:18 PM

Changes (1)

Path

Size

src/

Pure/

PIDE/

rISABELLE5c7652e9bc01

src/Pure/PIDE/session.scala

Loading...