Fix #5145: Improve treatment of soft modifiers#5471

Merged

allanrenucci merged 6 commits intoscala:masterfrom

dotty-staging:fix-#5145

Nov 20, 2018

Commits on Nov 20, 2018

Fix #5145: Improve treatment of soft modifiers

odersky
authored and
allanrenucci
committed
Fix syntax highlighting of soft keywords
allanrenucci
committed
Refinements to soft modifiers

odersky
authored and
allanrenucci
committed
Remove quotes around soft modifier names

odersky
authored and
allanrenucci
committed
Add spec

odersky
authored and
allanrenucci
committed
Fix `isBindingIntro`

odersky
authored and
allanrenucci
committed