From 8cc95e705b7909bbb4095e31932cb9aca1cb9761 Mon Sep 17 00:00:00 2001 From: Peter Sewell Date: Tue, 17 Oct 2023 13:05:11 +0100 Subject: [PATCH] Update README.md - add logo --- README.md | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index e09132a22..47f2dc44a 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -![Sail logo](https://github.com/rems-project/sail/blob/sail2/etc/sail_logo.png?raw=true) +![Sail logo](https://github.com/rems-project/sail/blob/sail2/etc/logo/sail_logo.png?raw=true) The Sail ISA specification language =================================== @@ -124,6 +124,11 @@ Vim editor, in vim's usual format of an `ftdetect` directory to detect Sail files and a `syntax` directory to provide the actual syntax highlighting. +Logo +==== + +[etc/logo](etc/logo) contains the Sail logo + Licensing =========