I use LyX to write math papers, so there are proposition, theorem, proof, etc.
environments. I would like to be able to export a tex file, let my colleague
make minor modifications on it, and then import it. Whenever I do this, even
if the tex file is unmodified, I get the \begin{prop}, etc in ERT. Is this
just the way it is, or do I have some settings wrong?I am using 1.6.9, but have also tried 2.0.0re3. Thanks, Hal
