Commit 1fd46e99 authored by davidcok's avatar davidcok
Browse files

V0.8.40 - 20181023

parent 72eed6f9
......@@ -2,7 +2,7 @@
<feature
id="org.jmlspecs.openjml.OpenJMLFeature"
label="OpenJML"
version="0.8.39"
version="0.8.40"
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.39"
version="0.8.40"
unpack="false"/>
<plugin
id="org.jmlspecs.OpenJMLUI"
download-size="0"
install-size="0"
version="0.8.39"
version="0.8.40"
unpack="false"/>
<plugin
id="org.jmlspecs.Specs"
download-size="0"
install-size="0"
version="0.8.39"
version="0.8.40"
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.39
Bundle-Version: 0.8.40
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