diff options
| -rw-r--r-- | debian/README.Debian | 4 |
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 |