Skip to content

Commit 2dca611

Browse files
committed
Update Instructions
1 parent 1ff0be1 commit 2dca611

File tree

1 file changed

+4
-3
lines changed

1 file changed

+4
-3
lines changed

README.md

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -48,14 +48,15 @@ Notice that the method `divide` now requires the parameter `b` to be non-zero. I
4848

4949
### Getting Started with LiquidJava
5050

51-
To follow along with this tutorial, make sure you have the following prerequisites installed:
51+
To follow along with this tutorial, make sure you have the following installed:
5252

5353
- Visual Studio Code, for editing the code and using the LiquidJava extension
5454
- [Java Extension Pack by Red Hat](vscode:extension/redhat.java), which provides Java support in VS Code
55+
- [LiquidJava Extension](vscode:extension/AlcidesFonseca.liquid-java), which provides the LiquidJava typechecker with real-time error reporting and syntax highlighting for the refinements.
5556

56-
Next, install the [LiquidJava VS Code extension](vscode:extension/AlcidesFonseca.liquid-java). This extension provides the LiquidJava typechecker with real-time error reporting and syntax highlighting for the refinements, which we will use throughout this tutorial.
57+
### Important!
5758

58-
**Important:** Currently, only one error is reported at a time, so an error might not be reported if another one is present! In each part of the tutorial, make sure to fix all errors before moving on to the next one.
59+
Currently, **only one error is reported at a time**, so an error might not be reported if another one is present! In each part of the tutorial, **make sure to fix all errors before moving on to the next one**. Also, if you think the extension isn't working correctly, try restarting VS Code using the command palette (`Cmd+Shift+P` or `Ctrl+Shift+P`) and selecting `Developer: Reload Window`.
5960

6061
## Tutorial
6162

0 commit comments

Comments
 (0)