Mark Crispin writes:
I suppose this means Mark blocked ACL2 for long enough to make the block effectively permanent. I don't mind as a practical matter (ACL does most of what I need), but somehow I don't like it.That was neither a nice, nor a true, thing to say.
I see what you mean, and apologise. It came out a little different than I meant. The final "it" was meant to represent "the way ACL2 died", nothing else.
I didn't mean to say that you wanted to or tried to block it, merely that your actions had that outcome. Alexey told me I was wrong earlier today. Which doesn't make me like the outcome any more. I would have liked it much better if ACL2 had been killed off actively a few years ago.
Arnt