Skip to content
GitLab
Explore
Sign in
key-public
key
Repository
key
key
key.core
src
main
antlr4
KeYLexer.g4
Find file
Blame
History
Permalink
Fixes issues with displaying syntax errors
· 5549b30a
Alexander Weigl
authored
Mar 26, 2021
* All Syntax errors are now reported correctly * "Edit source file" working
5549b30a