Re: [isabelle] 2014-RC1 issues
On Wed, 30 Jul 2014, Lars Noschinski wrote:
I modified some file (in a ML block), did some jumping around (through
other buffers), came back to the changed line and didn't see the change
anymore. I redid the change, which lead to an error message which made
it clear that the system saw something else than I was seeing in the
buffer. I reloaded the buffer and the error went away.
We need to keep an eye (or more) on this. I've seen myself a situation
some weeks ago were some ML_file was somehow out of sync.
This archive was generated by a fusion of
Pipermail (Mailman edition) and