From 15b826524ade8c74e80d739c48ba71e9ecfa1d77 Mon Sep 17 00:00:00 2001 From: Sankalp Gambhir Date: Wed, 9 Aug 2023 10:59:49 +0200 Subject: [PATCH] Fix typos and general consistency --- download.html | 4 ++-- index.html | 2 +- licence.html | 2 +- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/download.html b/download.html index 7f886de..8cb5f39 100644 --- a/download.html +++ b/download.html @@ -16,7 +16,7 @@

Binaries

-The binaries of the new Vampire can be downloaded from GitHub and used under the terms of the Vampire License. +The binaries of the new Vampire can be downloaded from GitHub and used under the terms of the Vampire Licence. All binaries are statically linked, which means that you should be able to run them out of the box.

@@ -33,6 +33,6 @@

Binaries

Source

Please access the source via the GitHub repository. -Source code is provided under the terms of the Vampire License. +Source code is provided under the terms of the Vampire Licence.

diff --git a/index.html b/index.html index 6e464d7..3f577f6 100644 --- a/index.html +++ b/index.html @@ -20,7 +20,7 @@

NEW LICENCE! We are very pleased to announce that Vampire is now available under a BSD 3-Clause licence, allowing (free) industrial and academic usage. It would be great to hear from you if you are making use of this new licence within your work. Please join our very low-traffic mailing list for updates. -You may also want to want to use the GitHub Issues page for questions or issues. +You may also want to use the GitHub Issues page for questions or issues.

Features

diff --git a/licence.html b/licence.html index cd7f767..beb2bb5 100644 --- a/licence.html +++ b/licence.html @@ -8,7 +8,7 @@ Since November 2020 we have moved Vampire to a permissive Modified BSD licence (see below). This supersedes all previous licences.

-This licence now expliciltly allows commercial use of Vampire. +This licence now explicitly allows commercial use of Vampire.