Thu, 04 Aug 2022 17:14:56 +0200 tuned;
wenzelm [Thu, 04 Aug 2022 17:14:56 +0200] rev 75758
tuned;
Thu, 04 Aug 2022 17:08:35 +0200 unused;
wenzelm [Thu, 04 Aug 2022 17:08:35 +0200] rev 75757
unused;
Thu, 04 Aug 2022 14:48:05 +0200 retrieve information about used files;
wenzelm [Thu, 04 Aug 2022 14:48:05 +0200] rev 75756
retrieve information about used files;
Thu, 04 Aug 2022 13:52:43 +0200 tuned signature -- more robust;
wenzelm [Thu, 04 Aug 2022 13:52:43 +0200] rev 75755
tuned signature -- more robust;
Thu, 04 Aug 2022 13:49:57 +0200 tuned signature;
wenzelm [Thu, 04 Aug 2022 13:49:57 +0200] rev 75754
tuned signature;
Thu, 04 Aug 2022 13:44:21 +0200 clarified signature: Export.Provider knows its (accidental) theory_names;
wenzelm [Thu, 04 Aug 2022 13:44:21 +0200] rev 75753
clarified signature: Export.Provider knows its (accidental) theory_names;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 tip