Diffusion Isabelle ca88e5496553

prefer sorted result;
ca88e5496553
Actions

Tags

None

Subscribers

None

Description

prefer sorted result;

Details

Provenance

Authored on

Parents

rISABELLE3e3541e79219: separate style for re-use;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEca88e5496553: prefer sorted result;.Nov 13 2022, 9:31 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

rISABELLEca88e5496553

src/Pure/Tools/prismjs.scala

Loading...