1 files changed, 1 insertions, 0 deletions

diff --git a/isa/README b/isa/README
index 4266b5e2..2be47ea5 100644
--- a/isa/README
+++ b/isa/README
@@ -1,4 +1,5 @@
 Support for Isabelle/classic has been removed from Proof General.
+
 The default and only supported interface is now Isabelle/Isar.
 
 If you need to use an older version of Isabelle, you will have