The Coq mailing list

[Lionel Elie Mamane <lionel AT mamane.lu>]

On Thu, Jan 15, 2004 at 08:54:28AM +0100, Sébastien Hinderer wrote:

> It seemed to me it could be useful to be able to specify from the command
> line that one wants to load a file in coqtop, but verbosely. This seemed
> indeed simpler than running coqtop and then enterening the command :

> Loae Verbose f.

> In particular, this would permit to benefit from shell history facilities
> when one wants to load one file during several consecutive sessions under
> coqtop.

You want to use rlwrap or cle or another implementation of the same
idea.

-- 
Lionel