The Coq mailing list

[Yannick <yannick.zakowski AT irisa.fr>]

Dear Michael,

Thank you for your answer! It is quite anticlimactic, but you are right:
I was still on 8.4pl6, on which it fails, but it does work on 8.5beta2.
I guess it is time to switch :)

Thanks again,
Best,
Yannick

Le 28/10/2015 10:00, Soegtrop, Michael a écrit :
> Dear Yannick,
> 
> did you try it in 8.5beta2? Unless I miss something, I would say this all 
> works as you expect in 8.5beta2 (the things you marked as fail don't fail). 
> I tested it with the daily build from October 12th.
> 
> Best regards,
> 
> Michael
> Intel Deutschland GmbH
> Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
> Tel: +49 89 99 8853-0, www.intel.de
> Managing Directors: Christin Eisenschmid, Prof. Dr. Hermann Eul
> Chairperson of the Supervisory Board: Tiffany Doon Silva
> Registered Office: Munich
> Commercial Register: Amtsgericht Muenchen HRB 186928
>