#5326 (Jun 17, 2024, 9:06:35 AM)

Progress:

	Changes Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default) removed lemma wellorder.wfP_less (detail / hgweb)
	Started by an SCM change
	This run spent 3 min 32 sec waiting in the queue.
	Revision: 7e0cbc6600b9df1b3e304a2aeb36c77604d7d059
	Revision: 789e69e9131a953fbada77ee1edb689930829d55