move isabelle to Isabelle2017 + update docs

au-ts · Jun 29, 2018 · 9515a85 · 9515a85
1 parent 1954ca7
commit 9515a85
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -20,13 +20,13 @@ sudo apt-get install python-lxml python-psutil python-pycparser # regression tes
 
 To install the Cogent compiler, consult file [cogent/README.md](./cogent/README.md) for details. 
 
-[`l4v`](https://github.com/seL4/l4v/tree/47d5b746fc2f052586db11aa6048c5ae7c357155) and [`isabelle`](https://github.com/seL4/isabelle/tree/Isabelle2015) are two submodules in the repository.
+[`l4v`](https://github.com/seL4/l4v/tree/47d5b746fc2f052586db11aa6048c5ae7c357155) and [`isabelle`](https://github.com/seL4/isabelle/tree/Isabelle2017) are two submodules in the repository.
 To get them: `git submodule update --init --recursive`.
 
 If you already have them on your machine, you can symlink them as `l4v` and `isabelle` respectively
 in the top-level directory of this repository and checkout relevant revisions:
 * `l4v`: `ffc7b107e5bd5978295da61f64ea87b9ea3ad4d1`
-* `isabelle`: any Isabelle2015 revision
+* `isabelle`: any Isabelle2017 revision
 
 Add `isabelle/bin` to your PATH: `export PATH="$(pwd)/isabelle/bin:$PATH"`
 If you have an existing Isabelle install, you may want to set `ISABELLE_IDENTIFIER` instead of `PATH`.

diff --git a/isabelle b/isabelle