Commit 8fcde85b authored by davidcok's avatar davidcok
Browse files

V0.8.42

parent bd057ac6
......@@ -2,7 +2,7 @@
<feature
id="org.jmlspecs.openjml.OpenJMLFeature"
label="OpenJML"
version="0.8.41"
version="0.8.42"
provider-name="David R. Cok">
<description url="http://jmlspecs.sourceforge.net">
......@@ -33,21 +33,21 @@ https://sourceforge.net/projects/jmlspecs/
id="org.jmlspecs.annotation"
download-size="0"
install-size="0"
version="0.8.41"
version="0.8.42"
unpack="false"/>
<plugin
id="org.jmlspecs.OpenJMLUI"
download-size="0"
install-size="0"
version="0.8.41"
version="0.8.42"
unpack="false"/>
<plugin
id="org.jmlspecs.Specs"
download-size="0"
install-size="0"
version="0.8.41"
version="0.8.42"
unpack="false"/>
</feature>
......@@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: OpenJMLUI
Bundle-SymbolicName: org.jmlspecs.OpenJMLUI;singleton:=true
Bundle-Version: 0.8.41
Bundle-Version: 0.8.42
Bundle-ClassPath: bin/,
jmlruntime.jar,
jSMTLIB.jar,
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment