[isabelle-dev] lex_prod changes

Klein, Gerwin (Data61, Kensington NSW) Gerwin.Klein at data61.csiro.au
Sat Aug 22 04:26:44 CEST 2020

Thanks! Let’s see how the tests go, but at least this morning I didn’t get the usual bunch of last week ;-)


> On 21 Aug 2020, at 21:45, Lawrence Paulson <lp15 at cam.ac.uk> wrote:
> 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).

More information about the isabelle-dev mailing list