stdlib/ieee_float.mlw · 9e92f8203f44f3b7c21d0ab47f77dea8ed16ae10 · Why3 / why3 · GitLab

Find file Blame History Permalink

Change label syntax from "foo" to [@foo]. · 9e92f820
Guillaume Melquiond authored Jan 12, 2018
```
The feature is not yet fully implemented (e.g. escape characters).
```
9e92f820