From 2c8fc958c38ab43860ad36c08e616ec98f136c16 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Mon, 12 Aug 2019 10:03:58 +0100 Subject: [PATCH] Updated README to reflect used version of Isabelle. --- README.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index bca091e..dca69da 100644 --- a/README.md +++ b/README.md @@ -8,9 +8,9 @@ development. Isabelle/DOF has two major pre-requisites: -* **Isabelle:** Isabelle/DOF requires [Isabelle 2019](http://isabelle.in.tum.de/website-Isabelle2019/). - Please download the Isabelle 2019 distribution for your operating - system from the [Isabelle website](http://isabelle.in.tum.de/website-Isabelle2019/). +* **Isabelle:** Isabelle/DOF requires [Isabelle 2018](http://isabelle.in.tum.de/website-Isabelle2018/). + Please download the Isabelle 2018 distribution for your operating + system from the [Isabelle website](http://isabelle.in.tum.de/website-Isabelle2018/). * **LaTeX:** Isabelle/DOF requires a modern pdfTeX-engine supporting the \expanded{}-primitive. This is, for example, included in the [TeXLive 2019](https://www.tug.org/texlive/) (or later) distribution. Please follow the [TeXLive installation instructions](https://www.tug.org/texlive/acquire-netinstall.html) @@ -29,7 +29,7 @@ one), the full path to the ``isabelle`` command needs to be passed as using the ``--isabelle`` command line argument of the ``install`` script: ```console -foo@bar:~$ ./install --isabelle /usr/local/Isabelle2019/bin/isabelle +foo@bar:~$ ./install --isabelle /usr/local/Isabelle2018/bin/isabelle ``` For further command line options of the installer, please use the