Sun, 06 Jun 2021 16:34:57 +0200 refer to theory "segments" only, according to global Build.build_theories and Thy_Info.use_theories;
wenzelm [Sun, 06 Jun 2021 16:34:57 +0200] rev 73820
refer to theory "segments" only, according to global Build.build_theories and Thy_Info.use_theories;
Sun, 06 Jun 2021 14:55:50 +0200 tuned;
wenzelm [Sun, 06 Jun 2021 14:55:50 +0200] rev 73819
tuned;
Sun, 06 Jun 2021 14:52:56 +0200 more uniform schedule_theories, notably for "present" and "commit" phase after loading;
wenzelm [Sun, 06 Jun 2021 14:52:56 +0200] rev 73818
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