----------------------------------------
An error occurred while collecting items to be installed
session context was:(profile=SDKProfile,
phase=org.eclipse.equinox.internal.p2.engine.phases.Collect, operand=,
action=).
Artifact not found: osgi.bundle,org.openiaml.model.actions.crocopat,
0.4.1.200912071124.
http://iaml.googlecode.com/svn/trunk/org.openiaml.update/plugins/org....
Artifact not found: osgi.bundle,org.openiaml.verification.crocopat,
0.4.0.200912071124.
http://iaml.googlecode.com/svn/trunk/org.openiaml.update/plugins/org....
Artifact not found:
org.eclipse.update.feature,org.openiaml.verification.crocopat.feature,
0.4.1.200912071124.
http://iaml.googlecode.com/svn/trunk/org.openiaml.update/features/org...
Artifact not found: osgi.bundle,org.sosy_lab.crocopat.cli,
0.0.1.200912071124.
http://iaml.googlecode.com/svn/trunk/org.openiaml.update/plugins/org....
-------------------------------------------

Eclipse Platform Version: 3.6.0 Build id: I20100608-0911

Hi,

I haven't updated the Crocopat plugin for a while, but I will be looking at
it again before the end of the year and re-releasing it to 0.6. The "IAML
verification with Crocopat" plugin is only designed as a demo for
verification of IAML models using Crocopat, and doesn't support verification
of any other type with Crocopat.

I'd recommend keeping an eye out on the releases for the upcoming Crocopat
reintegration. In the meantime you might want to check out the Crocopat
plugin from SVN directly, in the following branch:
http://iaml.googlecode.com/svn/branches/2009-08-owl/

You may need to check out IAML 0.4.1 separately, or download & install 0.4.1
[1] and build it yourself [2]. It may also only work on Eclipse 3.3.
Unfortunately you will need to have strong experience with generating GMF
editors to build the plugin, as the documentation isn't complete yet.

Hope this helps,
Jevon

[1]: http://iaml.googlecode.com/svn/tags/version-0.4.1/
[2]: http://code.google.com/p/iaml/wiki/Development