diff options
| author | aspiwack | 2013-11-02 15:35:45 +0000 |
|---|---|---|
| committer | aspiwack | 2013-11-02 15:35:45 +0000 |
| commit | c1dc67b1e5b4add067571955f5fd5e0f6ab1a3be (patch) | |
| tree | d96bd49af498dfc13c7a90c1e1b4284e6c3d9705 /kernel/cbytecodes.mli | |
| parent | 386d36deb6efb755cdd16ad216361e01e0b7662e (diff) | |
New option Default Goal Selector.
Set Default Goal Selector "all" prefixes all tactics with "all:" if no selector
is specified (it is overridden by 1: for instance).
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16983 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/cbytecodes.mli')
0 files changed, 0 insertions, 0 deletions