[isabelle-dev] Timeouts in Flyspeck_Tame
makarius at sketis.net
Sat Feb 16 15:37:55 CET 2019
On 16/02/2019 14:07, Florian Haftmann wrote:
> Am 14.02.19 um 13:34 schrieb Makarius:
>> In contrast to my proposal concerning Flyspeck-Tame-Base it is better to
>> keep the main AFP document unchanged, e.g. like this:
>> session Flyspeck-Tame-Eval (very_slow) = Flyspeck-Tame + ...
>> This will change the timing for Flyspeck-Tame in the recorded database,
>> but such renamings occasionally happen over the years.
> See now
Great. This looks fine to me.
More information about the isabelle-dev