License |
License |
---|---|
Categories |
CategoriesIDE Development Tools |
GroupId | GroupIdmt.edu.um.cs.rv.valour |
ArtifactId | ArtifactIdvalour.ide |
Last Version | Last Version1.0.2 |
Release Date | Release Date |
Type | Typeeclipse-plugin |
Description |
DescriptionValour: A Runtime Verification Language
|
Filename | Size |
---|---|
valour.ide-1.0.2.pom | |
valour.ide-1.0.2.jar | 321 KB |
valour.ide-1.0.2-p2metadata.xml | 1 KB |
valour.ide-1.0.2-p2artifacts.xml | 532 bytes |
Browse |
Group / Artifact | Type | Version |
---|---|---|
org.eclipse.xtend : org.eclipse.xtend.lib | jar | 2.9.2 |
mt.edu.um.cs.rv : monitors | jar | 1.0.2 |