Diffusion Isabelle e38f5f81592d

tuned: drop pointless SQL.order_by (see also 5f706f7c624b);
e38f5f81592d
Actions

Tags

None

Subscribers

None

Description

tuned: drop pointless SQL.order_by (see also 5f706f7c624b);

Details

Provenance

Authored on

Parents

rISABELLE487137973a8d: upgrade pretty_maybe_quote following 2746dfc9ceae;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEe38f5f81592d: tuned: drop pointless SQL.order_by (see also 5f706f7c624b);.Mar 9 2024, 1:06 PM

Changes (1)

Path

Size

src/

Pure/

Build/

build_process.scala

rISABELLEe38f5f81592d

src/Pure/Build/build_process.scala

Loading...