From b2262297f7e2d3a40368c9a995aa2149ef2066ee Mon Sep 17 00:00:00 2001 From: Marc Huisinga Date: Wed, 10 Jul 2024 19:01:09 +0200 Subject: [PATCH] doc: use image urls for everything --- README.md | 4 ++-- vscode-lean4/README.md | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index 109de5c8a..b851c4f9f 100644 --- a/README.md +++ b/README.md @@ -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 diff --git a/vscode-lean4/README.md b/vscode-lean4/README.md index d62d280dc..476e64d54 100644 --- a/vscode-lean4/README.md +++ b/vscode-lean4/README.md @@ -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)