I have installed the Atelier B Provers sucessfully but have run in to problems installing other plugins (individually I have tried ProB, UML-B and Event-B EMF framework). All result in similar errors. In error log tab the errors are:
"An error occurred while collecting items to be installed"
and lots similar to this:
"Unable to read repository at http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.packageDiagram_1.0.1.jar."
java.vendor=Sun Microsystems Inc.
BootLoader constants: OS=win32, ARCH=x86, WS=win32, NL=en_GB
Command-line arguments: -os win32 -ws win32 -arch x86
please can you advise me what the problem is or how to find out what the problem is.