/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/
../
.SolverSemanticHighlightCalculator.xtendbin
.SolverSemanticTextAttributeProvider.xtendbin
.gitignore
SolverSemanticHighlightCalculator.java
SolverSemanticTextAttributeProvider.java