diff options
| -rw-r--r-- | debian/README.Debian | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/debian/README.Debian b/debian/README.Debian index 7da3eb64..7e9997a1 100644 --- a/debian/README.Debian +++ b/debian/README.Debian @@ -12,7 +12,9 @@ upstream release, your Coq files should be recompiled. Coq frontends ------------- For interactive use of coqtop, we suggest -- either the Debian cle package -- or the Proof-General (x)emacs mode + - 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 + package. However, we recommend you to use the CoqIde GTK+ interface provided in coqide. |