Skip to content

Commit

Permalink
Text grammar improvements (#167)
Browse files Browse the repository at this point in the history
* fix update_plugin.md

* fix MoveLexer.flex

* fix README.md
  • Loading branch information
cratiu222 authored Jul 5, 2024
1 parent ac81360 commit ce809e3
Show file tree
Hide file tree
Showing 3 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -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).

Expand Down
2 changes: 1 addition & 1 deletion docs/update_plugin.md
Original file line number Diff line number Diff line change
Expand Up @@ -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.
2 changes: 1 addition & 1 deletion src/main/grammars/MoveLexer.flex
Original file line number Diff line number Diff line change
Expand Up @@ -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;
Expand Down

0 comments on commit ce809e3

Please sign in to comment.