On 09/08/2018 03:57 AM, Juergen Spitzmueller wrote: > commit ab16bb7eb98731be25413f9410e61e7d4fe75439 > Author: Juergen Spitzmueller <sp...@lyx.org> > Date: Sat Sep 8 09:50:48 2018 +0200 > > Covington now provides subexamples itself > > Candidate for stable.
When it's open again, OK. Riki
