Build #348 (May 12, 2023, 1:30:03 PM)

	Changes Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default) A slight beautification (detail)
	Started by an SCM change
	This run spent: 2 min 0 sec waiting; 11 sec build duration; 2 min 12 sec total from scheduled to completion.
	Revision: 37085099e4151fb0c8684de7322fe93890857013
	Revision: fa0be72ed95f9ee4efaa14691fcc05746b308464
	Revision: 5f4aa37e3b486e6a77ccd50520939ea51d40ed9d Repository: https://github.com/isabelle-prover/isabelle-context-build.git refs/remotes/origin/master