summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--debian/README.Debian4
1 files changed, 3 insertions, 1 deletions
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 <glondu@debian.org>, Sun, 19 Jan 2014 15:11:59 +0100