de.bmotionstudio.gef.editor/icons/eclipse16/smartmode_co.gif · csp · general / stups / ProB Rodin Plugin · GitLab

Skip to content

GitLab

Explore

Sign in

Oct 24, 2012
4972c664
fixed PROBPLUGIN-27 using a newer version of xstream (the old one was · 4972c664
Lukas Ladenberger authored Oct 24, 2012
```
not compatible with java 7)
```
4972c664
fixed PROBPLUGIN-27 using a newer version of xstream (the old one was
Lukas Ladenberger authored Oct 24, 2012
```
not compatible with java 7)
```

Loading