coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Benedict Kavanagh <b.i.kavanagh AT sms.ed.ac.uk>
- To: coq-club AT pauillac.inria.fr
- Subject: [Coq-Club] tutorial docs for 8.0
- Date: Tue, 02 Mar 2004 12:15:52 +0000
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
What is the current status of the 8.0 documentation, specifically as regards the tutorial. Is there a tutorial available for 8.0 and if not, how usable will the 7.4 tutorial be for 8.0?
I looked for a FAQ and couldn't find one. Is there one? all links I found in the mailing list archive were dead ends.
Cheers,
Ben
- [Coq-Club] tutorial docs for 8.0, Benedict Kavanagh
- [Coq-Club] translation, Benedict Kavanagh
- Re: [Coq-Club] tutorial docs for 8.0, Pierre Casteran
Archive powered by MhonArc 2.6.16.