|
|
Viewing Message
|
|
|
| ``Re: Unproven?''
by yark on 2006-10-10 03:31:29 |
|
| Wkbj79 writes:
> Sometimes when a theorem gets edited, the > "contains own proof" box gets unchecked, > a bug that yark has pointed out before.
I don't think I was the first to point this out. But I did point out that (as far as I can tell) it only happens if you use the preview button.
|
| | [ reply | up | top ] | |
|
|
|
|
|
|
|