Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Repository
f222029e19be117d9735dbc4cbe1b97d19279740
Switch branch/tag
why3
CHANGES
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
Replace CHANGES
×
Attach a file by drag & drop or
click to upload
Commit message
Replace CHANGES
Replace file
Cancel
GitLab will create a branch in your fork and start a merge request.