aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Classes
diff options
context:
space:
mode:
authorGravatar aspiwack <aspiwack@85f007b7-540e-0410-9357-904b9bb8a0f7>2012-03-20 17:46:48 +0000
committerGravatar aspiwack <aspiwack@85f007b7-540e-0410-9357-904b9bb8a0f7>2012-03-20 17:46:48 +0000
commit17ca9766c45ebb368558712eff18d0ed71583e66 (patch)
tree4884bb30e5acaecccc941a214c4de9484718ae37 /theories/Classes
parent52b57c6c529d1896ee73890db9faf3d299619403 (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