David Aspinall writes:
Date: Wed, 12 Jan 2011 12:38:17 +
Subject: Multiple files: coq-process-require-command
I reply to ProofGeneral-devel, because I hope Pierre will share
his opinion on these issues.
Do you plan to support coq-process-require-command to handle your last
but
Hi,
I like these 2 modes (novice and power user). It reflects the way people use
coq nowadays.
P.
2011/1/17 Hendrik Tews
> David Aspinall writes:
> Date: Wed, 12 Jan 2011 12:38:17 +
> Subject: Multiple files: coq-process-require-command
>
> I reply to ProofGeneral-devel, because I hop