1. 2017-09-02 Re: are pocheck.pl warnings useful? lyx-devel Scott Kostyshak 2. 2017-08-31 Re: are pocheck.pl warnings useful? lyx-devel Jean-Pierre_Chrét 3. 2017-08-31 are pocheck.pl warnings useful? lyx-devel Scott Kostyshak