d5b5fb65e4
Changelog: - Coq sources made compatible with ocaml 3.09.0 and lablgtk 2.6.0. - The search depth argument of auto can be parameterised in the Ltac language - Added entry constr_may_eval for tactic extensions (new syntax) - A couple of lemmas of ZArith were renamed: O -> 0 - many bugfixes, for extraction, Ltac, tactics...
5 lines
140 B
Text
5 lines
140 B
Text
@comment $NetBSD: PLIST.opt,v 1.3 2006/01/27 19:22:58 tonio Exp $
|
|
bin/coq-interface.opt
|
|
bin/coqtop.opt
|
|
bin/parser.opt
|
|
man/man1/coqtop.opt.1
|