summaryrefslogtreecommitdiff
path: root/debian
diff options
context:
space:
mode:
authorGravatar Stephane Glondu <steph@glondu.net>2009-07-26 09:24:41 +0200
committerGravatar Stephane Glondu <steph@glondu.net>2009-07-26 09:24:41 +0200
commit801f2ed206d8b0dbc23403fcd62a97d6508226e2 (patch)
tree341bff65671364f3d43a14d78203657d5e498dbc /debian
parentee2bd359557ca6d68a5ca4aced4014f9e3581cbb (diff)
More precise informations in README.Debian
Diffstat (limited to 'debian')
-rw-r--r--debian/README.Debian6
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.