Re: [Rodin-b-sharp-user] AtelierB update site??

[Laurent V. <lau...@sy...>]

Dear Andy,

I confirm that this update site is not working this morning.

I have contacted the people of ClearSy to let them know.

Cheers,
Laurent.

> Le 16 juin 2015 à 08:43, Andy Edmunds <ae...@ec...> a écrit :
> 
> Hi all,
> 
> I am unable to install the AtelierB provers. The update site is not 
> found. Are there any known problems with the update site/server?
> 
> Regards,
> 
> Andy
> 
> ------------------------------------------------------------------------------
> _______________________________________________
> Rodin-b-sharp-user mailing list
> Rod...@li...
> https://lists.sourceforge.net/lists/listinfo/rodin-b-sharp-user