From 99facb109c8b1ddf2a08bbea53403beacb886d78 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Fri, 8 Jul 2022 12:57:43 +0100 Subject: [PATCH] Fixed link to latest version of the manual. --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 85d79b3..52ba084 100644 --- 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.2.0/Isabelle2021 is available -online.](https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF/Isabelle_DOF-1.2.0_Isabelle2021.pdf) +development. The manual for [Isabelle/DOF 1.3.0/Isabelle2021-1 is available +online.](https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF/Isabelle_DOF-1.3.0_Isabelle2021-1.pdf) ## Pre-requisites