|
|
Viewing Message
|
|
|
| ``preamble problem''
by rspuzio on 2007-01-16 20:34:34 |
|
| When I last had a look at the entry two weeks ago, it was fine. Now, when I revisited it, it was broken. The computer had thrown away the preamble and replaced it with the default preamble (in which "theorem", "definition", and "proof" are undefined (although they really should be)). Has anyone else had this experience? This, alomg with the problem of the entry which was shown to be an attachement when it was not, suggests that there might be some instability in the database. |
| | [ reply | up ] | |
|
|
|
|
|
|
|