Re: [Rodin-b-sharp-user] Problem: "Event-B to Latex exporter"

[Thomas M. <tho...@sy...>]

Hi,

I've just successfully installed "Event-B to Latex exporter" plug-in 
v0.5.5.r16622 in both Rodin 3.1 and Rodin 3.2 (which is the latest Rodin 
version available).
Perhaps this was some temporary problem with the repository or a timeout 
in case of slow connection to the update servers.

Could you try to disable the option "Contact all update sites during 
install to find required software", and try to install the "Event-B to 
Latex exporter" plug-in again?
It could also originate from protection on your local area network. 
Please give us feedback, if it still doesn't install.

Best regards,

Thomas

Le 18/04/2016 21:24, Faten Fakhfakh a écrit :
> Dear Sir,
>
> I use Rodin 3.1.
> I would like to install "Event-B to Latex exporter".
> Select the main Rodin Update site from the "work with:" field in the 
> Help > Install New Software menu in Rodin.
> After that,
> I wrote this link: http://rodin-b-sharp.sourceforge.net/updates/
> and I selet the Utilities category ...
> However, I obtain this error:
> An error occurred while collecting items to be installed
> session context was:(profile=DefaultProfile, 
> phase=org.eclipse.equinox.internal.p2.engine.phases.Collect, operand=, 
> action=).
> No repository found containing: 
> osgi.bundle,ac.soton.eventb.latex,0.5.5.r16622
> No repository found containing: 
> org.eclipse.update.feature,ac.soton.eventb.latex.feature,0.5.5.r16622
> No repository found containing: 
> osgi.bundle,ac.soton.eventb.latex.ui,0.5.5.r16622
>
> Please, can you help me ?
> Thank you.
> ᐧ
>
>
> ------------------------------------------------------------------------------
> Find and fix application performance issues faster with Applications Manager
> Applications Manager provides deep performance insights into multiple tiers of
> your business applications. It resolves application problems quickly and
> reduces your MTTR. Get your free trial!
> https://ad.doubleclick.net/ddm/clk/302982198;130105516;z
>
>
> _______________________________________________
> Rodin-b-sharp-user mailing list
> Rod...@li...
> https://lists.sourceforge.net/lists/listinfo/rodin-b-sharp-user
-- 

*Thomas Muller*

Ingénieur Méthodes Formelles

+33 6 78 16 39 80

www.systerel.fr <http://www.systerel.fr>

SYSTEREL <http://www.systerel.fr>