From e3ef7f22f8ca1549633371e1f6fa14ae2e27546d Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Sun, 19 Jan 2014 15:12:15 +0100 Subject: Update README.Debian (Closes: #680248) --- debian/README.Debian | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'debian') diff --git a/debian/README.Debian b/debian/README.Debian index 7e9997a1..55825cf9 100644 --- a/debian/README.Debian +++ b/debian/README.Debian @@ -14,7 +14,9 @@ Coq frontends For interactive use of coqtop, we suggest - a readline editor, such as ledit or rlwrap (or anything that provides the readline-editor virtual packages); - - or the Proof-General (x)emacs mode, available in the proofgeneral-coq + - or the Proof-General (x)emacs mode, available in the proofgeneral package. However, we recommend you to use the CoqIde GTK+ interface provided in coqide. + + -- Stéphane Glondu , Sun, 19 Jan 2014 15:11:59 +0100 -- cgit v1.2.3