diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual.tex | 5 |
1 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 |