From 4696be09e95894addd81ba79fde832ac45ebd750 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 10 Aug 2001 12:58:34 +0000
Subject: Remove note about 3.1

---
 FAQ | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'FAQ')

diff --git a/FAQ b/FAQ
index cc598b21..2bad392e 100644
--- a/FAQ
+++ b/FAQ
@@ -18,11 +18,6 @@ A. The proof process is waiting for more input, but Proof General
    should type something in the proof shell, or interrupt the process
    with C-c C-c or the Stop button.
 
-   [ In case of Isabelle under Poly/ML, you should start PG 3.1 
-     using the Isabelle script because it adds a hack to send "f" 
-     after an interrupt is sent. With PG 3.2, the hack is added for
-     Poly/ML even if you start Emacs first. ]
-
 -----------------------------------------------------------------
 
 Q. How can I keep the Proof General option settings across sessions?
-- 
cgit v1.2.3