coqtop.opt1
The native-code coq toplevel
Usage
coqopt.opt [options]
[file]
Overview
coqopt.opt is the native-code version of Coq. It should not be called directly, but only by coqtop and coqc
Releases
11 releases since Debian 3.0 (Woody); the text changed 1 time.