diff options
| author |  aspiwack <aspiwack@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-05-13 17:57:27 +0000 |
|---|---|---|
| committer | aspiwack <aspiwack@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-05-13 17:57:27 +0000 |
| commit | 1b906116b43f5975fef7bb6f4dfb9589cfe3d6ee (patch) | |
| tree | b208a30b47adeff36f83b248498f19e06038c0e8 /plugins/subtac/subtac_utils.mli | |
| parent | 7cde682014e0dd179ae3bed029a07c8bf0c71157 (diff) | |
New option [Set Bullet Behavior] allows to select the behaviour of bullets.
- Two predefined behaviours : "None" where bullet have no effect and
"Strict Subproofs" (default) which acts as previously.
- More behaviours can be registered by plugins via
[Proof_global.Bullet.register_behavior].
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14118 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'plugins/subtac/subtac_utils.mli')
0 files changed, 0 insertions, 0 deletions