[isabelle-dev] Timeouts in Flyspeck_Tame

[Makarius]

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
> https://bitbucket.org/isa-afp/afp-devel/commits/00b771f6c60d99745fb933d4043c1ed123a427e5

Great. This looks fine to me.


	Makarius