Sun, 06 Jun 2021 16:34:57 +0200 wenzelm refer to theory "segments" only, according to global Build.build_theories and Thy_Info.use_theories;
Sun, 06 Jun 2021 14:55:50 +0200 wenzelm tuned;
Sun, 06 Jun 2021 14:52:56 +0200 wenzelm more uniform schedule_theories, notably for "present" and "commit" phase after loading;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 tip