From d07537bb9c09701f06df51c1456b75be003bf3f6 Mon Sep 17 00:00:00 2001
From: Ben Marshall <ben.marshall@bristol.ac.uk>
Date: Mon, 26 Nov 2018 14:12:38 +0000
Subject: [PATCH] Bump version numbers

---
 docs/implementation.tex | 2 +-
 docs/specification.tex  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/implementation.tex b/docs/implementation.tex
index 8447d5d..c2c1368 100644
--- a/docs/implementation.tex
+++ b/docs/implementation.tex
@@ -3,7 +3,7 @@
 \usepackage{shared} \addbibresource{shared.bib}
 
 \title{{\sc \XCID: a cryptographic ISE for RISC-V} \\ {\sc\large Reference Implementation Document}}
-\date{Version $0.10.0$ (\today)}
+\date{Version $0.10.1$ (\today)}
 \author{Ben Marshall}
 \author{Daniel Page}
 \author{Thinh Pham}
diff --git a/docs/specification.tex b/docs/specification.tex
index c3369fd..8a78364 100644
--- a/docs/specification.tex
+++ b/docs/specification.tex
@@ -3,7 +3,7 @@
 \usepackage{shared} \addbibresource{shared.bib} \import{../work/}{crypto-ise.encodings.tex}
 
 \title{{\sc \XCID: a cryptographic ISE for RISC-V} \\ {\sc\large Specification Document}}
-\date{Version $0.10.0$ (\today)}
+\date{Version $0.10.1$ (\today)}
 \author{Ben Marshall}
 \author{Daniel Page}
 \author{Thinh Pham}