Combined display of all available logs of ProB Documentation.
You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
08:53, 24 March 2021Michael Leuscheltalkcontribs created page Reals and Floats(Created page with "ProB now supports the Atelier-B datatypes REAL and FLOAT. You can turn off this support via the preference ALLOW_REALS. Standard arithmetic operators can be applied to reals...")
