From 042caf8249e3d44d25e9bb94134cc2ef1b47084b Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Fri, 11 May 2018 17:42:31 +0100
Subject: Update and alphabetise author list in manual

---
 doc/manual.tex |   5 +++--
 manual.pdf     | Bin 403769 -> 403774 bytes
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/doc/manual.tex b/doc/manual.tex
index 1645f735..3b75b26a 100644
--- a/doc/manual.tex
+++ b/doc/manual.tex
@@ -64,8 +64,9 @@
 
 \title{The Sail instruction-set semantics specification language}
 
-\author{Kathryn E. Gray \and Peter Sewell \and Christopher Pulte \and
-  Shaked Flur \and Robert Norton-Wright \and Alasdair Armstrong \and Thomas Bauereiss}
+\author{Alasdair Armstrong \and Thomas Bauereiss \and Brian Campbell \and
+  Shaked Flur \and Kathryn E. Gray \and Robert Norton-Wright \and Christopher Pulte \and
+  Peter Sewell}
 
 \maketitle
 
diff --git a/manual.pdf b/manual.pdf
index 2e501ffa..45715da7 100644
Binary files a/manual.pdf and b/manual.pdf differ
-- 
cgit v1.2.3