diff options
| author | aspiwack | 2011-05-13 17:57:27 +0000 |
|---|---|---|
| committer | aspiwack | 2011-05-13 17:57:27 +0000 |
| commit | 1b906116b43f5975fef7bb6f4dfb9589cfe3d6ee (patch) | |
| tree | b208a30b47adeff36f83b248498f19e06038c0e8 /lib/errors.ml | |
| 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 'lib/errors.ml')
0 files changed, 0 insertions, 0 deletions