Diffusion Isabelle 5f706f7c624b

more thorough synchronization of internal "_state" vs. external "_database";
5f706f7c624b
Actions

Tags

None

Subscribers

None

Description

more thorough synchronization of internal "_state" vs. external "_database";

Details

Provenance

Authored on

Parents

rISABELLEb7fe1d822dc1: more database content;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE5f706f7c624b: more thorough synchronization of internal "_state" vs. external "_database";.Mar 14 2023, 5:05 PM

makarius mentioned this in rISABELLEe38f5f81592d: tuned: drop pointless SQL.order_by (see also 5f706f7c624b);.Mar 9 2024, 5:26 PM

Changes (3)

Path

Size

src/

Pure/

Tools/

build_job.scala

build_process.scala

rISABELLE5f706f7c624b

src/Pure/Tools/build_job.scala

Loading...

src/Pure/Tools/build_process.scala

Loading...

src/Pure/library.scala

Loading...