diff --git a/README.md b/README.md index 269229f4fd8fc9b44b946f17e445435a91c00fc2..427e6d3eda3923a3481f6c88b28ad1bf79e10a9b 100644 --- a/README.md +++ b/README.md @@ -11,7 +11,7 @@ In order to change the probcli version you need to make the change in the settin ## Requirements -- Java v.8 or higher. By default Java home is considerd to be accessible by typing 'java' in terminal/powershell +- Java v.8 or higher. By default, Java home is considered to be accessible by typing 'java' in terminal/powershell ## Extension Settings diff --git a/syntaxes/classicalb.tmLanguage.json b/syntaxes/classicalb.tmLanguage.json index 2f1b2e24481829cd8eac8105e9f76713e141fa57..974920938d50a8124b270d94c8771eb06127b6fb 100644 --- a/syntaxes/classicalb.tmLanguage.json +++ b/syntaxes/classicalb.tmLanguage.json @@ -175,7 +175,7 @@ "name": "keyword.operator.record.classicalb" }, { - "match": "\\b(ran|dom|id|prj1|prj2|closure1|closure|interate|fnc|rel)\\b|%|λ", + "match": "\\b(ran|dom|id|prj1|prj2|closure1|closure|iterate|fnc|rel)\\b|%|λ", "name": "keyword.operator.relation.classicalb" }, { diff --git a/syntaxes/rmchAddOn.tmLanguage.json b/syntaxes/rmchAddOn.tmLanguage.json index d55aaeab0a0cf32877312be00f055d2cbee7ecb5..8e67db75e8e78128415673e050317ec9c8cce1d0 100644 --- a/syntaxes/rmchAddOn.tmLanguage.json +++ b/syntaxes/rmchAddOn.tmLanguage.json @@ -181,7 +181,7 @@ "name": "keyword.operator.record.rmchAddOn" }, { - "match": "\\b(ran|dom|id|prj1|prj2|closure1|closure|interate|fnc|rel)\\b|%|λ", + "match": "\\b(ran|dom|id|prj1|prj2|closure1|closure|iterate|fnc|rel)\\b|%|λ", "name": "keyword.operator.relation.rmchAddOn" }, {