Dear Isabelle developers,
our Jenkins instance is about to replace the last piece of missing
functionality from afptest: sending mails to maintainers.
Yesterday, I switched on "artifacts", which means Jenkins now builds &
archives "browser_info" and PDF output. This can be witnessed e.g. here:*
Then let's got for capitalization. See now 92680537201f.
Florian
Am 09.04.2016 um 22:05 schrieb Makarius:
> On Thu, 10 Mar 2016, Florian Haftmann wrote:
>
>> in 66a381d3f88f, the usual syntax for big operators has been added for
>> GCD (and LCM):
>>
>> (a) Gcd x \ A. f x
>>
>> An