coqtop.byte1
Bytecode toplevel coq system
Usage
coqtop.byte [options]
[file]
Overview
coqopt.byte is the bytecode version of Coq. It should not be called directly, but only by coqtop and coqc.
Releases
13 releases since Debian 3.0 (Woody); the text changed 3 times.