[isabelle-dev] lex_prod changes

[Lawrence Paulson]

I’m not sure I could have figured this out, but fortunately SourceTree allows past revisions to be undone on a file by file, even line by line basis.

We are more or less back to where we were now.

Larry

> On 21 Aug 2020, at 11:48, Dmitriy Traytel <traytel at di.ku.dk> wrote:
> 
> Just undoing the changes should be easy via "hg backout -r <revision>" for each of the commits in question (going backwards in time).