File: coqtop.byte.1

package info (click to toggle)
coq 8.0pl2-2
  • links: PTS
  • area: main
  • in suites: sarge
  • size: 14,228 kB
  • ctags: 17,685
  • sloc: ml: 97,070; makefile: 1,255; sh: 738; lisp: 456; awk: 15
file content (35 lines) | stat: -rw-r--r-- 389 bytes parent folder | download | duplicates (13) 
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
34
35
 
.TH COQ 1 "April 25, 2001"

.SH NAME
coqtop.byte \- The bytecode Coq toplevel


.SH SYNOPSIS
.B coqtop.byte
[
.B options
]
[
.I file
]

.SH DESCRIPTION

.B coqopt.byte
is the bytecode 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