Skip to content
Snippets Groups Projects
Commit aadd95c1 authored by Sebastian Krings's avatar Sebastian Krings
Browse files

change name

parent 8e67ceab
Branches
Tags
No related merge requests found
<?xml version="1.0" encoding="UTF-8"?>
<feature
id="de.prob2.disprover.feature"
label="ProB for Rodin2 - EXPERIMENTAL (Dis)Prover"
label="ProB for Rodin3 - (Dis)Prover"
version="2.4.4.qualifier"
provider-name="HHU Düsseldorf STUPS Group">
......
<?xml version="1.0" encoding="UTF-8"?>
<feature
id="de.prob2.feature"
label="ProB for Rodin2"
label="ProB for Rodin3"
version="2.4.4.qualifier"
provider-name="HHU Düsseldorf STUPS Group">
......
<?xml version="1.0" encoding="UTF-8"?>
<feature
id="de.prob2.symbolic.feature"
label="ProB for Rodin2 - Symbolic Constants Support"
label="ProB for Rodin3 - Symbolic Constants Support"
version="2.4.4.qualifier"
provider-name="HHU Düsseldorf STUPS Group">
......
<?xml version="1.0" encoding="UTF-8"?>
<feature
id="de.prob2.units.feature"
label="ProB for Rodin2 - Physical Units Support"
label="ProB for Rodin3 - Physical Units Support"
version="2.4.4.qualifier"
provider-name="HHU Düsseldorf STUPS Group">
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment