coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: S�bastien Hinderer <Sebastien.Hinderer AT ens-lyon.fr>
- To: Coq <coq-club AT pauillac.inria.fr>
- Subject: [Coq-Club] -emacs
- Date: Thu, 19 Jun 2003 09:55:13 +0200
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Hello dear all,
I wonder in which way the "-emacs" command-line argument modifies the
behaviour of coqtop.
Thank you very much for answering my question.
Sébastien.
- [Coq-Club] -emacs, Sébastien Hinderer
- Re: [Coq-Club] -emacs, Pierre Courtieu
Archive powered by MhonArc 2.6.16.