iaml - Revision 3163: /trunk

• ..
• benchmarks/
• cleanup_diagram_editors.bat
• demos/
• examples/
• it.itc.irst.nusmv.cli/
• it.itc.irst.nusmv.cli.tests/
• org.openiaml.docs/
• org.openiaml.docs.tools/
• org.openiaml.emf.properties/
• org.openiaml.emf.properties.tests/
• org.openiaml.gmf.tools/
• org.openiaml.gmf.tools.feature/
• org.openiaml.gmf.tools.update/
• org.openiaml.model/
• org.openiaml.model.actions/
• org.openiaml.model.actions.crocopat/
• org.openiaml.model.actions.nusmv/
• org.openiaml.model.codegen.php/
• org.openiaml.model.diagram.custom/
• org.openiaml.model.diagram.helpers/
• org.openiaml.model.drools/
• org.openiaml.model.edit/
• org.openiaml.model.feature/
• org.openiaml.model.migration/
• org.openiaml.model.runtime/
• org.openiaml.model.runtime.phpmailer/
• org.openiaml.model.tests/
• org.openiaml.model.tests.diagram/
• org.openiaml.model.tests.elements/
• org.openiaml.model.tests.simplegmf/
• org.openiaml.modeltesting/
• org.openiaml.simplegmf/
• org.openiaml.simplegmf.codegen/
• org.openiaml.simplegmf.editor/
• org.openiaml.simplegmf.tests/
• org.openiaml.simplegmf.ui/
• org.openiaml.update/
• org.openiaml.verification.crocopat/
• org.openiaml.verification.crocopat.feature/
• org.openiaml.verification.crocopat.tests/
• org.openiaml.verification.nusmv/
• org.openiaml.verification.nusmv.feature/
• org.openiaml.verification.nusmv.tests/
• org.openiaml.verification.ocl/
• org.sosy_lab.crocopat.cli/
• org.sosy_lab.crocopat.cli.tests/