coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: Laurent Thery <Laurent.Thery AT inria.fr>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Coq/CoqIde can't find my first hello world file. Please help!
Date: Mon, 28 Sep 2015 09:22:42 +0200

On 09/27/2015 02:42 AM, Enjoys Math wrote:

Hi :)

I saved as MyTutorial1.v. The file is only one line:

Check 0.

Compilation output:
Error: Can't find file C:\MyProjects\Coq\MyTutorial.v

You mean MyTutorial1.v ???

[Coq-Club] Coq/CoqIde can't find my first hello world file. Please help!, Enjoys Math, 09/27/2015
- Re: [Coq-Club] Coq/CoqIde can't find my first hello world file. Please help!, Pierre Courtieu, 09/28/2015
- Re: [Coq-Club] Coq/CoqIde can't find my first hello world file. Please help!, Laurent Thery, 09/28/2015