This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository coq.
commit e3ef7f22f8ca1549633371e1f6fa14ae2e27546d Author: Stephane Glondu <st...@glondu.net> Date: Sun Jan 19 15:12:15 2014 +0100 Update README.Debian (Closes: #680248) --- debian/README.Debian | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/debian/README.Debian b/debian/README.Debian index 7e9997a..55825cf 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 <glo...@debian.org>, Sun, 19 Jan 2014 15:11:59 +0100 -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/coq.git _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits