Before I forget: I did that and it is as expected; everything still works.
Manuel
On 2017-04-25 11:12, Florian Haftmann wrote:
Am 25.04.2017 um 11:06 schrieb Manuel Eberl:
I think you actually solved that problem by now. If I recall correctly,
it was one of the two dictionary-related
On 24/04/17 14:46, Makarius wrote:
> This is another attempt to open a discussion about Jenkins at TUM.
Thanks to everyone who participated on this thread. I have learned a few
new things, which I will pick up again soon.
Makarius
___
Hallo,
I just had a strange build failure with HOL-Probability. I executed
manuel@colosson ~/.i/etc> isabelle-dev build -d '$AFP' Random_BSTs
Euler_MacLaurin Bertrands_Postulate
and HOL-Probability failed to build:
Building HOL-Probability ...
HOL-Probability FAILED
(see also