[isabelle-dev] mercurial accident

Lars Hupel hupel at in.tum.de
Thu Jan 17 21:42:27 CET 2019

> Strip the accidental changes from the repository?

Never strip public changesets.

> Back out the changes?

You can't really back out merges, as far as I know.

> Or do a no-op merge from a successor of the last working version?

This is also not possible, I think.

Do this instead:

$ hg revert -a -r 56acd449da41
$ hg commit -m "revert to 56acd449da41"


More information about the isabelle-dev mailing list