Mark Crispin writes:
ACL2 died in spite of my efforts, not because of them.
Then I was wrong, and the reasons for the deplorable manner in which ACL2 died have nothing to do with you.
That doesn't make it any less deplorable, but it does make me a fool for even mentioning your name.
Arnt