|
| From: | Akim Demaille |
| Subject: | Re: cex: color the counterexamples |
| Date: | Wed, 10 Jun 2020 07:30:01 +0200 |
> Le 7 juin 2020 à 09:05, Akim Demaille <akim@lrde.epita.fr> a écrit : > > > Hi all, > > This is only a proposal. I'll install it unless there is resistance in the > near future, but I'm open with changing things afterwards. No answer, so installed. Cheers!
| [Prev in Thread] | Current Thread | [Next in Thread] |