p

prob2-ui-servlets

Deprecated Part of the ProB 2 Rodin Plugin. Do not use this!
https://github.com/bendisposto/probparsers
Eclipse Public License, Version 1.0
Jens Bendisposto Michael Leuschel
deprecated part prob this plugin rodin
Aggregated version Version Update time
2.1 2.1.0 Aug 18, 2021
2.0 2.0.3 Aug 16, 2016
2.0.2 Feb 24, 2016
3 Records