From 2003e97ec8f54c28d7e09823f209e9b8def998e1 Mon Sep 17 00:00:00 2001 From: Cas Cremers Date: Wed, 28 Oct 2020 08:49:32 +0100 Subject: [PATCH] Further documentation updates. --- gui/Changelog.txt | 11 +++++++++++ gui/INSTALL.md | 3 +-- gui/README.md | 6 +++++- 3 files changed, 17 insertions(+), 3 deletions(-) diff --git a/gui/Changelog.txt b/gui/Changelog.txt index b50b647..7909b58 100644 --- a/gui/Changelog.txt +++ b/gui/Changelog.txt @@ -1,6 +1,17 @@ Scyther changelog =============================== +Scyther 1.2 +------------------------------- + +This release mostly serves to modernize the dependencies and simplify install +on modern versions of the three supported platforms. + + * Updated python code to use Python 3, dropping the Python 2 requirement. + * [Gui] Updated to support (and require) wxPython 4.0 or later. + * Updated install instructions. + * Updated copyright notices. + Scyther 1.1.2 ------------------------------- diff --git a/gui/INSTALL.md b/gui/INSTALL.md index 8b52c43..f1109bd 100644 --- a/gui/INSTALL.md +++ b/gui/INSTALL.md @@ -24,8 +24,7 @@ from the command line) then you need only the first. http://www.python.org/download/ - Scyther does not support Python 3. You are therefore recommended to - choose the latest production release of Python 2, e.g., Python 2.7. + Scyther requires **Python 3** now, and no longer supports Python 2. * **Mac OS X** diff --git a/gui/README.md b/gui/README.md index 706df8d..cfadb57 100644 --- a/gui/README.md +++ b/gui/README.md @@ -45,11 +45,15 @@ availabe from Manual ------ -We are currently rewriting the manual. The current (incomplete) +The manual is lagging behind. The current (incomplete) distribution version of the manual can be found here: * [./scyther-manual.pdf](scyther-manual.pdf) +However, have a look at the book if you are interested: + + * [https://doi.org/10.1007/978-3-540-70545-1_38](Our book on security protocols and the theory behind Scyther) + Protocol Models ---------------