Sun, 07 Aug 2022 20:36:01 +0200 afford default cache policy, despite 6a29709906c6;
wenzelm [Sun, 07 Aug 2022 20:36:01 +0200] rev 75792
afford default cache policy, despite 6a29709906c6;
Sun, 07 Aug 2022 13:44:01 +0200 tuned signature;
wenzelm [Sun, 07 Aug 2022 13:44:01 +0200] rev 75791
tuned signature;
Sun, 07 Aug 2022 12:58:59 +0200 clarified signature: more uniform treatment of cache for Export.read_session vs. Export.read_theory;
wenzelm [Sun, 07 Aug 2022 12:58:59 +0200] rev 75790
clarified signature: more uniform treatment of cache for Export.read_session vs. Export.read_theory;
Sun, 07 Aug 2022 12:37:57 +0200 tuned;
wenzelm [Sun, 07 Aug 2022 12:37:57 +0200] rev 75789
tuned;
Sun, 07 Aug 2022 12:37:15 +0200 tuned signature;
wenzelm [Sun, 07 Aug 2022 12:37:15 +0200] rev 75788
tuned signature;
Sun, 07 Aug 2022 12:30:09 +0200 clarified signature;
wenzelm [Sun, 07 Aug 2022 12:30:09 +0200] rev 75787
clarified signature;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 tip