From 6d166ecee486967b863803d5bb2de082b076ee07 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sat, 20 Mar 2021 22:19:57 +0000 Subject: [PATCH] Added links for 1.1.0/Isabelle2020 release. --- README.md | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index d4c770c..5210422 100755 --- a/README.md +++ b/README.md @@ -2,8 +2,8 @@ Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle. Isabelle/DOF allows for both conventional typesetting as well as formal -development. The manual for [Isabelle/DOF 1.0.0/Isabelle2019 is available -online.](https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF/Isabelle_DOF-1.0.0_Isabelle2019.pdf) +development. The manual for [Isabelle/DOF 1.1.0/Isabelle2020 is available +online.](https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF/Isabelle_DOF-1.1.0_Isabelle2020.pdf) ## Running Isabelle/DOF using Docker @@ -13,7 +13,7 @@ Docker supports X11 application, you can start Isabelle/DOF as follows: ```console foo@bar:~$ docker run -ti --rm -e DISPLAY=$DISPLAY -v /tmp/.X11-unix:/tmp/.X11-unix \ - logicalhacking/isabelle_dof-1.0.0_isabelle2019 isabelle jedit + logicalhacking/isabelle_dof-1.1.0_isabelle2020 isabelle jedit ``` ## Pre-requisites @@ -138,6 +138,10 @@ Usage: isabelle mkroot_DOF [OPTIONS] [DIR] For releases, signed archives including a PDF version of the Isabelle/DOF manual are are available: +* Isabelle/DOF 1.1.0/Isabelle2020 + * [Isabelle_DOF-1.1.0_Isabelle2020.pdf](https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF/Isabelle_DOF-1.1.0_Isabelle2020.pdf) + * [Isabelle_DOF-1.1.0_Isabelle2020.tar.xz](https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF/Isabelle_DOF-1.1.0_Isabelle2020.tar.xz) + * [Isabelle_DOF-1.1.0_Isabelle2020.tar.xz.asc](https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF/Isabelle_DOF-1.1.0_Isabelle2020.tar.xz.asc) * Isabelle/DOF 1.0.0/Isabelle2019 * [Isabelle_DOF-1.0.0_Isabelle2019.pdf](https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF/Isabelle_DOF-1.0.0_Isabelle2019.pdf) * [Isabelle_DOF-1.0.0_Isabelle2019.tar.xz](https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF/Isabelle_DOF-1.0.0_Isabelle2019.tar.xz)