[isabelle-dev] mercurial accident
immler at in.tum.de
Thu Jan 17 21:21:03 CET 2019
The changesets a06b204527e6, 0f4d4a13dc16, and a8faf6f15da7 seem to be
the result of some mercurial/merge accident.
They break HOL-Analysis, and it is not really clear from the history why
and how to repair it.
The last working version is 56acd449da41.
Any opinions on what would be the best way to continue from here?
Strip the accidental changes from the repository?
Back out the changes?
Or do a no-op merge from a successor of the last working version?
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 5581 bytes
Desc: S/MIME Cryptographic Signature
More information about the isabelle-dev