What does ANIMADVERTED mean?

We couldn't find any additional results for ANIMADVERTED on the web.