Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
src
parser
lexer.mll
Find file
Blame
History
Permalink
Lexer: [# "fname" line bcol ecol ] and [## "fname" line col] for location tags
· 62a4a52a
Andrei Paskevich
authored
May 30, 2018
This makes it more consistent with the [@...] syntax for generic tags.
62a4a52a