CHANGES · f222029e19be117d9735dbc4cbe1b97d19279740 · Why3 / why3 · GitLab

Find file Blame History Permalink

new syntax 'constant ident:type [=expr]' to declare constants · f222029e
Jean-Christophe Filliâtre authored Feb 06, 2012
```
note that 'function' is still allowed
```
f222029e

To find the state of this project's repository at the time of any of these versions, check out the tags.

CHANGES 4.53 KB