That's too bad. I feel so mixed about these kinds of attacks and how humans respond to them. I feel terrible for the woman but sad too that the alligator lost its life. People don't want to believe that there are predators out there and we are fair game to them. We have the brains to realize this and be careful where we put ourselves. Sad, our first reaction is 'kill it'. And how is that going to solve anything? Increase the amount of fear we have for these creatures?
I feel the same too for the Cougars in the West who have killed joggers and even for the coyotes who have been known to catch dogs and cats..... people need to be more educated and have more respect for all other life.