Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
src
parser
parser.mly
Find file
Blame
History
Permalink
Parser: "(+)_spec" can be user-defined, "(+)'spec" can not.
· 05bb92ba
Andrei Paskevich
authored
Jul 25, 2018
05bb92ba