diff options
| author |  Stephane Glondu <steph@glondu.net> | 2014-01-19 15:12:15 +0100 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2014-01-19 16:15:52 +0100 |
| commit | e3ef7f22f8ca1549633371e1f6fa14ae2e27546d (patch) | |
| tree | 5633145c6f43ef7fc704fae7aa4d43008d712b52 /debian | |
| parent | fc0c747d28dcbf8e1b2681a173f9207cb300d26a (diff) | |
Update README.Debian (Closes: #680248)
Diffstat (limited to 'debian')
| -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 |