← Back to branch summary

~ubuntu-branches/ubuntu/wily/coq-doc/wily

« back to all changes in this revision

Viewing changes to README.doc

  • Committer: Bazaar Package Importer
  • Author(s): Stéphane Glondu, Stéphane Glondu, Samuel Mimram
  • Date: 2010-01-07 22:50:39 UTC
  • mfrom: (1.2.2 upstream)
  • Revision ID: james.westby@ubuntu.com-20100107225039-n3cq82589u0qt0s2
Tags: 8.2pl1-1
http://bugs.debian.org/563669
http://bugs.debian.org/543545
[ Stéphane Glondu ]
* New upstream release (Closes: #563669)
  - remove patches
* Packaging overhaul:
  - use git, advertise it in Vcs-* fields of debian/control
  - use debhelper 7 and dh with override
  - use source format 3.0 (quilt)
* debian/control:
  - set Maintainer to d-o-m, set Uploaders to Sam and myself
  - add Homepage field
  - bump Standards-Version to 3.8.3
* Register PDF documentation into doc-base
* Add debian/watch
* Update debian/copyright

[ Samuel Mimram ]
* Change coq-doc's description to mention that it provides documentation in
  pdf format, not postscript, closes: #543545.

Show diffs side-by-side

added added

removed removed

Lines of Context:
README.doc
 
1
                           The Coq documentation
 
2
                           =====================
 
3
 
 
4
The Coq documentation includes:
 
5
 
 
6
- a reference manual;
 
7
- a generic tutorial on Coq;
 
8
- a tutorial on recursive types;
 
9
- a document presenting the Coq standard library;
 
10
- a list of questions/answers in the FAQ style
 
11
 
 
12
All these documents are available online from the Coq official site
 
13
(http://coq.inria.fr), either as PS/PDF files or as HTML documents.
 
14
 
 
15
The sources of the documentation are available along with the sources
 
16
of the Coq proof assistant. It is released under the Open Publication
 
17
License (see file doc/LICENSE in the sources of Coq)
 
18