[isabelle-dev] \nexists

[Makarius]

On 15/07/16 17:21, Lars Hupel wrote:
> 
> macOS: Problematic because we currently have no appropriate hardware
> available to hook into Jenkins. Apple just doesn't offer anything
> suitable these days.

There is still macbroy2. That is required for administrative purposes,
e.g. when preparing a release, but it can be also used for systematic
testing. That was also done with isatest in the past.

OS X is actually more important for systematic testing than linux,
because de-facto I do the Linux testing continuously on my own machine.


	Makarius