michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Minor changes

Browse source
This commit is contained in:
Wen Kokke 2019-07-16 16:48:45 +01:00
parent 72c273c10b
commit f2c73681d6
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
papers/scp/PLFA.tex
View file

@ -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}