diff options
| author |  Stephane Glondu <steph@glondu.net> | 2009-07-26 09:24:41 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2009-07-26 09:24:41 +0200 |
| commit | 801f2ed206d8b0dbc23403fcd62a97d6508226e2 (patch) | |
| tree | 341bff65671364f3d43a14d78203657d5e498dbc /debian | |
| parent | ee2bd359557ca6d68a5ca4aced4014f9e3581cbb (diff) | |
More precise informations in README.Debian
Diffstat (limited to 'debian')
| -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. |