Re: [isabelle-dev] Uses of Jenkins at TUM

2017-04-28 Thread Makarius 
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

___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

Re: [isabelle-dev] NEWS: GCD and Binomial in Main

2017-04-28 Thread Manuel Eberl 

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 problems I told you about a
year ago or so, and then Lars and you solved that problem somehow.

I can try putting in that code equation again and seeing what happens.

Excellent, thanks.

Florian
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev