← Back to branch summary

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

« back to all changes in this revision

Viewing changes to man/coq-interface.1

  • 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:
man/coq-interface.1
 
1
.TH COQ 1 "April 25, 2001"
 
2
 
 
3
.SH NAME
 
4
coq\-interface \- Customized Coq toplevel to make user interfaces
 
5
 
 
6
 
 
7
.SH SYNOPSIS
 
8
.B coq-interface
 
9
[
 
10
.B options
 
11
]
 
12
 
 
13
.SH DESCRIPTION
 
14
 
 
15
.B coq-interface
 
16
is a Coq customized toplevel system for Coq containing some modules
 
17
useful for the graphical interface. This program is not for the casual
 
18
user.
 
19
 
 
20
.SH OPTIONS
 
21
 
 
22
.TP
 
23
.B \-h
 
24
Help. Will give you the complete list of options accepted by
 
25
coq-interface (the same as coqtop).
 
26
 
 
27
.SH SEE ALSO
 
28
 
 
29
.BR coqc (1),
 
30
.BR coqdep (1),
 
31
.BR coqtop (1),
 
32
.BR coq\-parser (1).
 
33
.br
 
34
.I
 
35
The Coq Reference Manual.
 
36
.I
 
37
The Coq web site: http://coq.inria.fr