Skip to content

Commit

Permalink
Merge pull request #35 from pitmonticone/main
Browse files Browse the repository at this point in the history
Fix typos in CONTRIBUTING.md and README.md
  • Loading branch information
lakesare authored Jan 22, 2024
2 parents 0ee92ae + 5be3d1d commit 5bfaa3b
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion CONTRIBUTING.md
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
yarn watch
```

That's it! You can check that everything works by going to `/Examples.lean`, and opening the Paperpoof panel by clicking on a piece of a crumpled paper:
That's it! You can check that everything works by going to `/Examples.lean`, and opening the Paperproof panel by clicking on a piece of a crumpled paper:

<img width="200" src="https://github.com/Paper-Proof/paperproof/assets/7578559/fd077fbe-36a3-4e94-9fa8-b7a38ffd1eea"/>

Expand Down
4 changes: 2 additions & 2 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -328,7 +328,7 @@ In the following tables, you can see what tactics such as `apply`, `rw`, or `cas
5. **You're done!**
Now, click on the paperproof icon (after you installed the Paperpoof extension, it should appear in all `.lean` files), this will open a Paperproof panel within vscode.
Now, click on the paperproof icon (after you installed the Paperproof extension, it should appear in all `.lean` files), this will open a Paperproof panel within vscode.
<img width="200" src="https://github.com/Paper-Proof/paperproof/assets/7578559/fd077fbe-36a3-4e94-9fa8-b7a38ffd1eea"/>
Expand Down Expand Up @@ -457,7 +457,7 @@ Below, you will see a table with the main features of Paperproof.
## Updating
To update Paperproof, you only need to rerun `lake update Paperproof`. This will fetch the newest version of the Paperpoof Lean library from this github repo, and build it.
To update Paperproof, you only need to rerun `lake update Paperproof`. This will fetch the newest version of the Paperproof Lean library from this github repo, and build it.
Vscode extensions are automatically updated, however you can check for new updates with
**`cmd+shift+p` => "Extensions: Show Extension Updates"**.
Expand Down

0 comments on commit 5bfaa3b

Please sign in to comment.