From f2c73681d6a13ce85dc6a06c817f12a8b183bd72 Mon Sep 17 00:00:00 2001 From: Wen Kokke Date: Tue, 16 Jul 2019 16:48:45 +0100 Subject: [PATCH] Minor changes --- papers/scp/PLFA.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/papers/scp/PLFA.tex b/papers/scp/PLFA.tex index d28cbdef..669ea228 100755 --- a/papers/scp/PLFA.tex +++ b/papers/scp/PLFA.tex @@ -964,7 +964,7 @@ incorporated almost all of this functionality, and \texttt{agda2html} is now deprecated.) The book is built, tested, and published after each commit, using Travis CI, a -web service for continuous integration. The means that the book is constantly +web service for continuous integration. This means that the book is constantly changing. To accommodate those who want a more stable version, e.g., for teaching, we maintain a stable version of the book at \begin{center}