From 5425c9b1aacaf83a7ac9add369b0ae076e33389a Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 18 Dec 2017 13:15:51 +0100
Subject: [PATCH] some README changes

---
 CHANGELOG.md |  8 ++++++++
 README.md    | 22 ++++++++++++----------
 2 files changed, 20 insertions(+), 10 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 26f8e7cb..7ec06e5f 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -44,3 +44,11 @@ Changes to notations:
   + Change the level of the do-notation.
   + `<$>` is left associative.
   + Notation `x ;; y` for `_ ← x; y`.
+
+## History
+
+Coq-std++ has originally been developed by Robbert Krebbers as part of his
+formalization of the C programming language in his PhD thesis, called
+[CH2O](http://robbertkrebbers.nl/thesis.html). After that, Coq-std++ has been
+part of the [Iris project](http://iris-project.org), and has continued to be
+developed by Robbert Krebbers, Ralf Jung, and Jacques Henri-Jourdan.
diff --git a/README.md b/README.md
index 184d8eb1..f9f16750 100644
--- a/README.md
+++ b/README.md
@@ -34,20 +34,22 @@ Notably:
   `Obligation Tactic := idtac`, `Add Search Blacklist "_obligation_"`.  See
   [`base.v`](theories/base.v) for further details.
 
-## History
-
-Coq-std++ has originally been developed by Robbert Krebbers as part of his
-formalization of the C programming language in his PhD thesis, called
-[CH2O](http://robbertkrebbers.nl/thesis.html). After that, Coq-std++ has been
-part of the [Iris project](http://iris-project.org), and has continued to be
-developed by Robbert Krebbers, Ralf Jung, and Jacques Henri-Jourdan.
-
 ## Prerequisites
 
 This version is known to compile with:
 
  - Coq version 8.6.0 / 8.6.1 / 8.7.0 / 8.7.1
 
-## Building Instructions
+## Installing via opam
+
+To obtain the latest stable release via opam, you have to add the Coq opam
+repository:
+
+  opam repo add coq-released https://coq.inria.fr/opam/released
+
+Then you can do `opam install coq-stdpp`.
+
+## Building from source
 
-Run `make` to build the full development.  Run `make install` to install the library.
+Run `make -jN` in this directory to build the library, where `N` is the number
+of your CPU cores.  Then run `make install` to install the library.
-- 
GitLab