File: coqtop.opt.1

package info (click to toggle)
coq 8.16.1%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 40,596 kB
  • sloc: ml: 219,376; sh: 3,545; python: 3,231; ansic: 2,529; makefile: 767; lisp: 279; javascript: 63; xml: 24; sed: 2
file content (33 lines) | stat: -rw-r--r-- 373 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
 
.TH COQ 1

.SH NAME
coqtop.opt \- The native-code Coq toplevel


.SH SYNOPSIS
.B coqopt.opt
[
.B options
]
[
.I file
]

.SH DESCRIPTION

.B coqopt.opt
is the native-code version of Coq. It should not be called directly, but
only by
.B coqtop
and
.B coqc

.SH SEE ALSO

.BR coqtop (1),
.BR coqc (1).
.br
.I
The Coq Reference Manual.
.I
The Coq web site: http://coq.inria.fr