Pavel Sanda <sanda <at> lyx.org> writes: > > Paul Rubin wrote: > > until I find a more permanent home for it. > > If it's not committed to the sources I can put it into wiki. > Pavel > > Thanks, Pavel! I was going to put it with the other theorem related modules at http://wiki.lyx.org/Layouts/Modules#toc13. It might be a good idea to add it there even if it makes it into the versioning system (with the disclaimer that it's fixed in version 2.whatever), so that users not upgrading to the next version can access it.
Cheers, Paul