Marriage And Divorce Facts

Robin Williams Marriage?

I was just curious as to whether Robin Williams wife went through with the divorce and did in fact end their marriage.
I was looking at Oscar photos from last night and he had his wife on his arm, and she was referred to as his wife.
I wasn’t able to find any info, except that Marsha was filing for divorce.
Does any one know?

I have checked on the IMDB as they a pretty good at updating things as they happen and it says this:-

Marsha Garces Williams (30 April 1989 – present) (filed for divorce) 2 children

So I am assuming that they are still married.