wysiib / language-b-eventb

wysiib/language-b-eventb Issues

Check license and license file
Closed 9 years ago
Only : in assignement operator (:=) is highlighted
Closed 9 years ago1
OR in names is highlighted as operator
Closed 9 years ago1
Add type checking, etc. by ProB Cli / bcomp
Closed 9 years ago
Add autocomplete for SELECT and CASE
Closed 9 years ago1
MACHINE keyword is not highlighted in classical B mode
Closed 9 years ago1
Strings are not coloured in classical B mode
Closed 9 years ago1