Skip to Content.
Sympa Menu

coq-club - [Coq-Club] tutorial docs for 8.0

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] tutorial docs for 8.0


chronological Thread 
  • 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





Archive powered by MhonArc 2.6.16.

Top of Page