Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

doc: use image urls for everything #503

Merged
merged 1 commit into from
Jul 10, 2024
Merged

doc: use image urls for everything #503

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -12,13 +12,13 @@ After installing this extension, a 'Welcome' page with a setup guide should open

If the setup guide does not open automatically, you can still open it manually by opening an empty file, clicking on the ∀-symbol in the top right and selecting 'Documentation…' > 'Docs: Show Setup Guide'.

![Setup guide with instructions for how to re-open the setup guide manually](vscode-lean4/images/setup_guide.png)
![Setup guide with instructions for how to re-open the setup guide manually](https://github.com/leanprover/vscode-lean4/raw/HEAD/vscode-lean4/images/setup_guide.png)

## Using this extension

The [Lean 4 VS Code extension manual](https://github.com/leanprover/vscode-lean4/blob/master/vscode-lean4/manual/manual.md) provides a complete and detailed overview over all features provided by this VS Code extension. If you are new to Lean, you may find the first five subsections of the 'Interacting with Lean files' section in the manual to be very helpful.

![Manual table of contents](vscode-lean4/images/manual.png)
![Manual table of contents](https://github.com/leanprover/vscode-lean4/raw/HEAD/vscode-lean4/images/manual.png)


## Developing the Lean 4 VS Code extension
Expand Down
4 changes: 2 additions & 2 deletions vscode-lean4/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -12,10 +12,10 @@ After installing this extension, a 'Welcome' page with a setup guide should open

If the setup guide does not open automatically, you can still open it manually by opening an empty file, clicking on the ∀-symbol in the top right and selecting 'Documentation…' > 'Docs: Show Setup Guide'.

![Setup guide with instructions for how to re-open the setup guide manually](images/setup_guide.png)
![Setup guide with instructions for how to re-open the setup guide manually](https://github.com/leanprover/vscode-lean4/raw/HEAD/vscode-lean4/images/setup_guide.png)

## Using this extension

The [Lean 4 VS Code extension manual](https://github.com/leanprover/vscode-lean4/blob/master/vscode-lean4/manual/manual.md) provides a complete and detailed overview over all features provided by this VS Code extension. If you are new to Lean, you may find the first five subsections of the 'Interacting with Lean files' section in the manual to be very helpful.

![Manual table of contents](images/manual.png)
![Manual table of contents](https://github.com/leanprover/vscode-lean4/raw/HEAD/vscode-lean4/images/manual.png)
Loading