diff --git a/README.md b/README.md index b332f7f52..0f6987e03 100644 --- a/README.md +++ b/README.md @@ -11,7 +11,7 @@ EAP builds are also available, which contain the build from the current `master` ## Compatible IDEs The plugin is compatible with all IntelliJ-based IDEs starting from 2023.3. -Versions older than 2023.3 have older version of the Intellij-Move plugin available. +Versions older than 2023.3 have an older version of the Intellij-Move plugin available. New features are announced in [What's New section of the documentation](https://intellij-move.github.io/what-s-new.html). diff --git a/docs/update_plugin.md b/docs/update_plugin.md index 035c52f4c..c9a902b70 100644 --- a/docs/update_plugin.md +++ b/docs/update_plugin.md @@ -5,4 +5,4 @@ Then select the `Plugins` section from the left sections list. ![plugin_update](./static/pycharm_plugin_update.png) -Click on the `Update` button to download and install new version of the plugin. +Click on the `Update` button to download and install the new version of the plugin. diff --git a/src/main/grammars/MoveLexer.flex b/src/main/grammars/MoveLexer.flex index 4780409aa..81fc65f61 100644 --- a/src/main/grammars/MoveLexer.flex +++ b/src/main/grammars/MoveLexer.flex @@ -12,7 +12,7 @@ import static org.move.lang.MoveParserDefinition.*; %{ /** - * Dedicated storage for starting position of some previously successful + * Dedicated storage for the starting position of some previously successful * match */ private int zzPostponedMarkedPos = -1;