diff options
author | aspiwack <aspiwack@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-03-20 17:46:48 +0000 |
---|---|---|
committer | aspiwack <aspiwack@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-03-20 17:46:48 +0000 |
commit | 17ca9766c45ebb368558712eff18d0ed71583e66 (patch) | |
tree | 4884bb30e5acaecccc941a214c4de9484718ae37 /theories/Classes | |
parent | 52b57c6c529d1896ee73890db9faf3d299619403 (diff) |
Arranged for the desirable behaviour that bullets do not see beyond braces.
i.e.: after a brace is open, one can use the bullets again without clashing with
bullets outside the brace. In particular, one can nest bullets with arbitrary
depth (by interleaving them with occasional braces).
Also fixed a typo introduced in my previous commit which caused bullets
and braces to behave just like regular focuses.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15073 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'theories/Classes')
0 files changed, 0 insertions, 0 deletions