summaryrefslogtreecommitdiff log msg author committer range path: root/instr-to-kodkod/parser/PropertyLexer.g4AgeCommit message (Expand)Author 2017-07-17Starting to work on a parser for the properties.Nathanael Sensfelder
