Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Repository
9d234c66909f680a95420b16350ee94691f1d774
Switch branch/tag
why3
src
why3doc
doc_lexer.mll
Find file
Blame
History
Permalink
Recognize "meta" as a keyword in why3doc.
· 9d234c66
Guillaume Melquiond
authored
Apr 22, 2012
9d234c66
