coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Kirill Taran <kirill.t256 AT gmail.com>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] debugging facilities
- Date: Wed, 12 Mar 2014 13:36:43 +0400
Also, maybe there are any tools/ways to debug coq development?
"Trace" would be useful, but I didn't find it.
"Trace" would be useful, but I didn't find it.
Sincerely,
Kirill Taran
Kirill Taran
- [Coq-Club] debugging facilities, Kirill Taran, 03/12/2014
- Re: [Coq-Club] debugging facilities, Cedric Auger, 03/12/2014
- Re: [Coq-Club] debugging facilities, Kirill Taran, 03/12/2014
- Re: [Coq-Club] debugging facilities, Dmitry Grebeniuk, 03/12/2014
- Re: [Coq-Club] debugging facilities, Kirill Taran, 03/12/2014
- Re: [Coq-Club] debugging facilities, Dmitry Grebeniuk, 03/12/2014
- Re: [Coq-Club] debugging facilities, Kirill Taran, 03/12/2014
- Re: [Coq-Club] debugging facilities, Cedric Auger, 03/12/2014
Archive powered by MHonArc 2.6.18.