Re: Add Assumption to Theorems.inc

2016-10-22 Thread Andrew Parsloe
On 23/10/2016 4:48 a.m., Paul A. Rubin wrote: On 10/21/2016 10:06 PM, Andrew Parsloe wrote: Dear LyX developers, I find myself needing an Assumption environment every now and again and think it should be added to Theorems.inc and its relatives. (As far as I can tell it isn't defined in any of

Re: Add Assumption to Theorems.inc

2016-10-22 Thread Paul A. Rubin
On 10/21/2016 10:06 PM, Andrew Parsloe wrote: Dear LyX developers, I find myself needing an Assumption environment every now and again and think it should be added to Theorems.inc and its relatives. (As far as I can tell it isn't defined in any of the Theorems-.inc included in the Resources/l

Add Assumption to Theorems.inc

2016-10-21 Thread Andrew Parsloe
Dear LyX developers, I find myself needing an Assumption environment every now and again and think it should be added to Theorems.inc and its relatives. (As far as I can tell it isn't defined in any of the Theorems-.inc included in the Resources/layouts folder.) I've added it to a personal ve