# HG changeset patch
# User nipkow
# Date 1675188444 -3600
# Node ID 1310df9229bd8af77f0f7db30d2d5e7b19090d6b
# Parent  9a60c17595437d39a706fd295440c611f468f8a7
pointless

diff -r 9a60c1759543 -r 1310df9229bd src/Doc/Prog_Prove/document/intro-isabelle.tex
--- a/src/Doc/Prog_Prove/document/intro-isabelle.tex	Tue Jan 31 14:05:16 2023 +0000
+++ b/src/Doc/Prog_Prove/document/intro-isabelle.tex	Tue Jan 31 19:07:24 2023 +0100
@@ -55,7 +55,6 @@
 \subsection*{Getting Started with Isabelle}
 
 If you have not done so already, download and install Isabelle
-(this book is compatible with Isabelle2020)
 from \url{https://isabelle.in.tum.de}. You can start it by clicking
 on the application icon. This will launch Isabelle's
 user interface based on the text editor \concept{jEdit}. Below you see