>>>>> "Mike" == Mike Ressler <[EMAIL PROTECTED]> writes:
Mike> I've been thinking about starting to update the docs in Mike> anticipation of 1.2.0, now that the interface appears to be Mike> stabilizing a bit. While rooting around the CVS, I discovered Mike> the above file. Is it still relevant? If so, I'll paste it into Mike> Extended. Whether it is or isn't, it should probably be deleted Mike> from this directory. Yes, the file should go into Extended.lyx. JMarc