Thanks! Let’s see how the tests go, but at least this morning I didn’t get the usual bunch of last week ;-)
Cheers, Gerwin > On 21 Aug 2020, at 21:45, Lawrence Paulson <[email protected]> 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 <[email protected]> wrote: >> >> Just undoing the changes should be easy via "hg backout -r <revision>" for >> each of the commits in question (going backwards in time). > _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
