Build #4688 (Sep 24, 2023, 8:36:32 PM)

Progress:

Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

1. clarified signature; (detail / hgweb)
2. clarified signature; (detail / hgweb)
3. clarified signature; (detail / hgweb)
4. minor performance tuning; (detail / hgweb)

Started by an SCM change

This run spent 3 min 29 sec waiting in the queue.