coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Installing SSReflect

From: Marcus Ramos <marcus.ramos AT univasf.edu.br>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] Installing SSReflect
Date: Tue, 3 Dec 2013 19:21:44 -0200

Dear Users,

I am having poblems installing SSReflect in Windows 7/CoqIDE 8.4. Do I really have to set all those environment variables and run the scripts, or is there an easier way of doing this?

Thanks in advance,

Marcus.

[Coq-Club] Installing SSReflect, Marcus Ramos, 12/03/2013
- Re: [Coq-Club] Installing SSReflect, Beta Ziliani, 12/04/2013
  - Re: [Coq-Club] Installing SSReflect, Marcus Ramos, 12/05/2013